{"entities":{"Q4503902":{"pageid":6533495,"ns":120,"title":"Item:Q4503902","lastrevid":47505556,"modified":"2026-01-01T22:31:45Z","type":"item","id":"Q4503902","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1507182"}},"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":"Q4503902$6B021A93-0C20-4EA5-A25E-E9D09E87ED2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fc23b0ca75f235dca589603eea9250a4ea5ba07","datavalue":{"value":"0966.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503902$4FC45B3C-E992-47A1-B0D1-95A99834D79B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503902$5A935702-4CE5-49A8-9BB3-3EBB9B7AAF2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a003edfcec895e809a385e212d589ca0bbabc28e","datavalue":{"value":{"time":"+2000-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4503902$C8E4DA4E-4CF3-485B-9D8C-61910B6513FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503902$DC85D2A8-BE5C-4E15-A5E6-58A35059A094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503902$40CFCD56-8CCA-4D39-856F-3915E621353E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503902$3CCC005A-1301-4699-9EC1-334D000AEDD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7eeb633e9064c76125b7ebf81da5cbe1dc72f4f","datavalue":{"value":"1507182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503902$EF7AE4B7-135C-4282-8B90-1F39F88D2F3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503902$66448151-EB40-4167-9061-3F32F0F9B07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503902$020094B5-BD8A-4FE1-A1A9-8B54649979CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ea6b732fa84797bdc0c229fc9bbfba6b27ccb7f","datavalue":{"value":"extension of clause syntax via equational constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503902$E126495C-D0E3-4177-A43E-2AE5D088CFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503902$FED02095-B97F-46D1-A0E8-4D7AD97686BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503902$3E968A53-B0C9-42C6-90C9-9C6F04B78147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6d887dea02064be0360477cc5a75e3c7b45070","datavalue":{"value":"inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503902$423B54F4-AC0D-427E-9F72-D6AE06D9CAD2","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":"Q4503902$E9186654-6F13-4B35-AB3C-C1C62B7C9B7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050befdf8477652a6f6e3c1291975490d044d737","datavalue":{"value":{"entity-type":"item","numeric-id":2487870,"id":"Q2487870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ace78f4c4e735593a8cca82be0750a7a5fac5a4","datavalue":{"value":{"amount":"+0.763235867023468","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":"Q4503902$AC574673-ED0C-4AAA-B470-E857B73563FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed107c0b5f9570cfb041178e0327ee0d9628b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ed7f863e871fe6b71ce474903097a9cfe88f36","datavalue":{"value":{"amount":"+0.7553235292434692","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":"Q4503902$7E5F826E-1E9B-4BB0-BD30-96E36A0547D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b218c4ba3c0ee3527ebaf03168166dd2cb9217ec","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617d71aaf559efd1d441e722b2c09f1fc94418f6","datavalue":{"value":{"amount":"+0.7495602965354919","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":"Q4503902$F9BE990F-D78F-483D-9312-2555DCC0D841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5242bcd4b8a60efeecd3f0381ba7676468d04f71","datavalue":{"value":{"entity-type":"item","numeric-id":4380444,"id":"Q4380444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2109354b26767fd1c9421d3db3adda2f1ee0a4e9","datavalue":{"value":{"amount":"+0.7416946887969971","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":"Q4503902$41377DC6-7FCC-4F6F-988D-FE4061064BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44469c695c7d19631de7e636f5e7f496493f9406","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2109354b26767fd1c9421d3db3adda2f1ee0a4e9","datavalue":{"value":{"amount":"+0.7416946887969971","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":"Q4503902$A3166DFC-69B8-4A34-AF33-09F9B37C93BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4503902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4503902"}}}}}