{"entities":{"Q1909618":{"pageid":1920360,"ns":120,"title":"Item:Q1909618","lastrevid":73295289,"modified":"2026-04-14T15:20:12Z","type":"item","id":"Q1909618","labels":{"en":{"language":"en","value":"KARNAK an automated theorem prover for PPC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 856775"}},"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":"Q1909618$30292000-C7B8-4367-9C4E-0C94C5FFF82E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c99a9e30eb752d4c32d9be73e5f480394f7b7b7","datavalue":{"value":{"text":"KARNAK an automated theorem prover for PPC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1909618$FB824137-691A-424C-B481-13E4B5F8FBC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37202da151a28099a5da90bd1742d7ea8d87aa46","datavalue":{"value":"0851.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909618$7BAB1FA6-FA55-43FC-8BB1-335D9585FD96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d94bdc05722e134ecf31156e0560d095aea3881","datavalue":{"value":{"entity-type":"item","numeric-id":1909617,"id":"Q1909617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909618$ADBADCDD-8456-4349-9080-1CA9CF880DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe94c692c76aec569a39b27b55519589f7ac126","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909618$51ACF87A-FEDC-445C-9D2C-3B91F2A001C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909618$EB65E585-E94A-4F42-91A0-31C1DE8FF277","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e12e6021dba48c45d122c66dfaf8edc484cdc46","datavalue":{"value":{"time":"+1995-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1909618$FF02C26A-061F-4252-8730-121218369DBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ffddff73e911d93f30471ef55d152fac2007c3e","datavalue":{"value":"https://eudml.org/doc/223364","type":"string"},"datatype":"url"},"type":"statement","id":"Q1909618$65A6E326-4021-4911-BCF1-BBDC3ABD1590","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909618$590E0A84-2E89-4075-A78B-9A323CE9729E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fddc955318aaeca3565eb696928568f84cc004ac","datavalue":{"value":"856775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909618$58610FC4-20C6-4E18-BE7D-B09B2A559DC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b743562d60504cfcbff185fcabfd213658843876","datavalue":{"value":"KARNAK","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909618$C73F885E-3026-4316-B9DC-099144E3084A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fbe3c7285c82b7e85a0384689c42c38ba7418e4","datavalue":{"value":"automated theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909618$60F26EF0-CAFA-414F-9F2D-F2FEDCC39347","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":"Q1909618$600EBCD8-270D-4C3F-AACA-A65E363B3161","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bb720b7c1477bdd9fa3da132be1b604f98822c","datavalue":{"value":{"entity-type":"item","numeric-id":2721238,"id":"Q2721238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5944b73de8a3baad21441e82f37a485ec7e93f","datavalue":{"value":{"amount":"+0.7103568315505981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909618$14B3B2F5-7F33-420F-8965-BC7B28C90CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202e7d007d9f9732850f56c0fee3c656ac5401de","datavalue":{"value":{"entity-type":"item","numeric-id":4275695,"id":"Q4275695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89fd1b2fdc6a5d3f4dc320380e0f01eafa9692f2","datavalue":{"value":{"amount":"+0.7006611227989197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909618$5FF7CF14-BB8F-44A1-AE1C-389D80442B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704d8235220b4b648e3548c46c45ac17ea651023","datavalue":{"value":{"entity-type":"item","numeric-id":4013071,"id":"Q4013071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c925a280fd387a76f18563856156c2bbd605e386","datavalue":{"value":{"amount":"+0.6983051896095276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909618$E95854DF-DF12-419D-8512-08B6D4935E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7854d8d87637b7ccc5c885e4f2cbb2a7dfc6ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2987064,"id":"Q2987064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccab74c789b161965125adef426d202856a5107f","datavalue":{"value":{"amount":"+0.6980252265930176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909618$8E1E8F20-4B52-4228-A4E8-73C93D4874FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8522d2416898af206aef854d5fb2e109849c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed58f292de7a42269aa7764db5a797014a7f6615","datavalue":{"value":{"amount":"+0.6975838541984558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1909618$3A0F7CE7-9222-4F9F-A5D4-D74C450E1B1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"KARNAK an automated theorem prover for PPC","badges":[]}}}}}