{"entities":{"Q4362927":{"pageid":6392526,"ns":120,"title":"Item:Q4362927","lastrevid":46489380,"modified":"2025-12-24T21:52:39Z","type":"item","id":"Q4362927","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086676"}},"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":"Q4362927$C6D632C8-F787-4891-9167-B8F1E80D406A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"885354cbce6461c2f1c59089b0413999b7387dfb","datavalue":{"value":"0881.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362927$82F84972-2D52-48D6-8F51-7A289D23EB77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf82e248e9b7d54c49f15b89339402c9652677d2","datavalue":{"value":{"entity-type":"item","numeric-id":4362926,"id":"Q4362926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362927$175ED8EF-F2C9-40EC-983D-705E9C788922","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f5d120add23d257eabf00a9921160534bdd26e","datavalue":{"value":{"time":"+1998-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362927$E763CA8C-D217-494B-A613-5F4CA16F9B82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362927$1E6F83CD-7634-44A6-B925-00F7DE2E8E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362927$AA2098B6-6E0F-4BC0-A709-F1F6E7C84A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362927$35204B32-5898-4437-BDBA-C62261DC3C78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d5a73342393dbc06081068b03e1ed0cb9c1adfc","datavalue":{"value":"1086676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362927$1A454A48-E8E3-4845-9A11-DDF775A90FBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$F2E7B8C1-CD5C-4E9B-9F7F-883120470534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd8359bd586204f1b86eb3b92b74a119097e66e","datavalue":{"value":"automated model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$41E0EF00-6BF1-47BE-99A7-3F8296A7D567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd6023dce684ee00634c7b9d010a00853188502","datavalue":{"value":"semantic resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$11E36E23-9E9A-4E28-99B1-954D1D917C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$85CE2E79-2E1B-462D-8F91-5026B1402C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ff3cdb55e43072ffe6b55d64d26f08a560ecc6f","datavalue":{"value":"representing single Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$DC7F1670-8EC7-4C79-9333-300D04C61FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$078177D3-0F0C-4BCF-8C6A-9E70F1891499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$C7EEE6CE-C9F2-4920-86A2-029A3423E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7de509c25b2792912ed48f3b2751a5506db1de3","datavalue":{"value":"clause evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$DE5E1FD9-DFE6-4B2B-A3C8-15AAB513D034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a622e83842a7c48af763fd92cc6b4c10e72c9850","datavalue":{"value":"equivalence test","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$E94E9E48-4DD3-42F3-85DC-C55CA7103F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362927$E2F11BCF-9023-4546-9BEF-747A5A213322","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c52067912b0b36fecbbb51adf44957c3c2a0bee","datavalue":{"value":{"entity-type":"item","numeric-id":18797,"id":"Q18797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362927$848B64FF-E34F-4D83-B047-D32919BCB93B","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":"Q4362927$4B70201D-E5D4-44B1-9E7E-27CF546BD336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667965eda0811ad64eecfda4a537c2bddfda7e40","datavalue":{"value":{"entity-type":"item","numeric-id":4364515,"id":"Q4364515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49dc1bc840c6d4b053fe9ad66b6655527f4175e","datavalue":{"value":{"amount":"+0.9511292576789856","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":"Q4362927$5FFA6F57-B3B7-419E-A9BE-D48DF0B33B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebca772138c49ee95355c350048d9a51596d8375","datavalue":{"value":{"entity-type":"item","numeric-id":4349580,"id":"Q4349580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702bdc76bedeba18e1702b34b2b2e95f333ca73e","datavalue":{"value":{"amount":"+0.7975279688835144","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":"Q4362927$9D227295-E149-4B02-810B-495C18FF53DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2b4687bbeff4c18fc58dca6dba4f18fe4e6698","datavalue":{"value":{"entity-type":"item","numeric-id":4246970,"id":"Q4246970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6d6d600fa3b6e4c6956593800341d0fc808b0a","datavalue":{"value":{"amount":"+0.7902805209159851","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":"Q4362927$02401517-C03A-4B68-8BD5-F456002B7798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4a6403e32a0fb608b2d78d4fbbcf70b14daa38","datavalue":{"value":{"entity-type":"item","numeric-id":4809059,"id":"Q4809059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00ed45b7f4169f161d3ac92b8d6071af307a589","datavalue":{"value":{"amount":"+0.7901031970977783","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":"Q4362927$A99C9CF8-CEC1-4F3A-9467-E756445579FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4362927","badges":[]}}}}}