{"entities":{"Q5738910":{"pageid":7768462,"ns":120,"title":"Item:Q5738910","lastrevid":58598637,"modified":"2026-04-05T22:44:58Z","type":"item","id":"Q5738910","labels":{"en":{"language":"en","value":"Clausal temporal resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729720"}},"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":"Q5738910$3CFC3E73-C941-4E06-86CA-E6B621C96660","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7ee4ae9ed1977f31277f88cb9479346a63fda1f","datavalue":{"value":{"text":"Clausal temporal resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738910$D27B103F-8D87-4837-9AEB-1E047F2C1126","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e14caf785b69a0c7619153bb7fd8a7be914be37c","datavalue":{"value":"1365.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738910$B336FECD-6C58-48EB-BAD5-FA5B78CE7165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0afdd01345b518c477304dc7c4d6559c15a3f464","datavalue":{"value":"10.1145/371282.371311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738910$76D1FB6D-006C-40FD-B96A-EF13AB9F9C54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738910$DA42468B-D07D-42D0-B9C5-8484C77C098A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738910$93879D57-8885-4C14-95B1-E3649BDE74C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baca6359cd948947e9f8032c93964ba7f07271e5","datavalue":{"value":"https://arxiv.org/abs/cs/9907032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738910$565FA52D-FEA4-482C-992B-706895482D80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738910$EF14EFBF-02A9-4D59-8E64-24073D5464E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738910$4CFFB3C4-7313-4F9B-A721-915C6A831264","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"497c0e9a1c54dd0f64117272b964dd80169b08f9","datavalue":{"value":"6729720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738910$09009E83-A565-455C-9AEA-2FA8931CBA54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738910$CBB7FE46-75F5-4871-B84F-6B2FA418AA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738910$ECDFC481-0D26-4B24-AF01-7F5B42D659AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738910$913E8FF6-FE4B-44FA-BCD7-D40A534C1117","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":"Q5738910$BA893E9E-BB7C-4CB1-A904-FCF7C68CECF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"093084a889427ae68916f123ec1a96ee73bad170","datavalue":{"value":"W2131225255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738910$EFDF0858-2982-4256-B091-53587BB00BD6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6418d27fb55fa6d1f5fd3a211217c39555628534","datavalue":{"value":"Q98283991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738910$3456CE14-7A98-4809-9BBC-52BF36098E3C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b97d792baf3ed81469b9bb3a259a0e1ebe8fe9b3","datavalue":{"value":"journals/tocl/FisherDP01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738910$9E4D4830-FC79-4336-9CBC-DE77C99BF18A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3241696ac9d66266ee36ba9d4a14a440dfd189","datavalue":{"value":{"entity-type":"item","numeric-id":4952310,"id":"Q4952310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0d75ce7867a50712cd87a95a84bb624d3a5bfd","datavalue":{"value":{"amount":"+0.8609952330589294","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":"Q5738910$A854E686-3F4A-4C6D-B9A3-573179FE801C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be3f39e228ac8e1655e831f1223a5fe918b0808","datavalue":{"value":{"entity-type":"item","numeric-id":4412853,"id":"Q4412853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f877f46102556955764c28904214b7e6c5257e","datavalue":{"value":{"amount":"+0.8414144515991211","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":"Q5738910$EBEED1F0-0D00-485D-B024-52FEDAA17464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d5311806420136da35f61d50371ef1e707a9dc","datavalue":{"value":{"entity-type":"item","numeric-id":4412247,"id":"Q4412247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99917c423ba868b00ef94d1052fb4db1d50ada93","datavalue":{"value":{"amount":"+0.8297987580299377","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":"Q5738910$11F5147C-90D8-4A54-B0F4-9A8978E2BC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0213266c99bd1271365493300d6d7438a5d45490","datavalue":{"value":{"entity-type":"item","numeric-id":3682464,"id":"Q3682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99917c423ba868b00ef94d1052fb4db1d50ada93","datavalue":{"value":{"amount":"+0.8297987580299377","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":"Q5738910$86711942-1413-411A-B68F-4FF39C39EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5e0b8d098d3904f1abf841ee4f7c4b9abf9c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4941896,"id":"Q4941896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3a91cc88b54e5fd1a694a4823e1286ca538ca8","datavalue":{"value":{"amount":"+0.826457679271698","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":"Q5738910$B8D15E07-F271-4E72-BBA3-45210B418A56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738910"}}}}}