{"entities":{"Q6488578":{"pageid":14067347,"ns":120,"title":"Item:Q6488578","lastrevid":38012622,"modified":"2024-12-03T10:57:41Z","type":"item","id":"Q6488578","labels":{"en":{"language":"en","value":"UNICOM: A refined completion based inductive theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680846"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488578$A769C6AB-AB98-4140-8E4F-3E96E45C4A33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d67c62f86f72a9b815b63a001d8ee36ee278f045","datavalue":{"value":{"text":"UNICOM: A refined completion based inductive theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488578$84BFD4B2-B396-42DA-B6D4-C340A8C4B5A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"786411d168baa204ff665456202258f3f7cce6b8","datavalue":{"value":"1509.68306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488578$DB638BF3-A0BF-4FD7-9C01-ECF9A667A4A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"073497b6913756f918ca845d199477aa5b542d85","datavalue":{"value":"10.1007/3-540-52885-7_127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488578$6E18D532-8936-4E35-8468-A5F6C270EFDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488578$89A79E34-C0BD-4613-B024-3078DCF9EB76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488578$FEE690CB-E036-4B43-B4A6-A31B5D1B541F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488578$AE89B565-4CED-492C-9EBD-A1FE9DB38B2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"560bb093b0b29891e2bc89deaebb7964dc491c70","datavalue":{"value":"7680846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488578$00D4364D-558F-4809-A7BB-D2B6CC228A29","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488578$3D6C6A21-C291-42BE-A878-E31C901C3513","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b42dc8a851355f29dbfce6a77b3c5bb7b0390e","datavalue":{"value":{"entity-type":"item","numeric-id":3819982,"id":"Q3819982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488578$47A71A53-FBDE-4FA1-9281-283794C63570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488578$04DDD496-1C42-4101-8C12-789B760D5FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488578$E92A05A4-039D-4372-BC33-443C3392A988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488578$804074DD-BD73-40F7-A46E-F76AD6390E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488578$DD97C5C4-B4D9-4279-83C9-442B41629ACA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488578"}}}}}