{"entities":{"Q4207882":{"pageid":6237483,"ns":120,"title":"Item:Q4207882","lastrevid":49338523,"modified":"2026-01-06T23:59:52Z","type":"item","id":"Q4207882","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128784"}},"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":"Q4207882$AB738A4B-5ACC-4D0A-876C-1502CE0C3EB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76d63ab639bd1b9ab9db365b6b5522bfb1d2b61b","datavalue":{"value":"0689.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207882$17F0FA82-72B9-4BE3-9D06-EA329D719619","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":"Q4207882$EEEB37A8-F23B-452F-9925-67B81893F8F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q4207882$B4D59D90-52E7-4F3D-9B02-43F9D687A8E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207882$4030137A-EFE5-4DDC-8669-8A5731E64C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207882$D7F6A8E1-2D26-4A13-A038-191D425FE0B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1eeaf4ecfae43d6b40be852b3ca25e171311fc9f","datavalue":{"value":"4128784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207882$B4030C65-984F-43AA-BC49-6C24A46D3194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4e795b1ff11bb0b6912e27c0078682d6f90717","datavalue":{"value":"lifting lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207882$66D3D513-4C78-4274-9F5E-A59879078A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03158307b01a6e2de96f5585d7a65d8e1a522aae","datavalue":{"value":"resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207882$08DDC31E-DF84-488E-B619-F1B586E5CE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207882$5327C6E4-85DA-4BE8-8FDA-06E69A27678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be960993a030b6cf0a650b4f56c881dddb34582b","datavalue":{"value":"binary resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207882$5E827338-0F14-49ED-9113-85BED6324164","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":"Q4207882$65952614-3938-4A99-B5F1-5B1B4327C00C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3034f0a23e986b7145402415674c1f9368832e32","datavalue":{"value":{"entity-type":"item","numeric-id":3789526,"id":"Q3789526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39639c86e0ac577a54486bc0b08a31cb75d89c50","datavalue":{"value":{"amount":"+0.8583112359046936","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":"Q4207882$6100CF91-7CE0-4A22-9C53-6547648202C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c6f0ae750094a33e10d8b5e275687043367eec","datavalue":{"value":{"amount":"+0.8021209836006165","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":"Q4207882$2B8E8CF6-7DAF-4BB2-A4E3-FA2F9D4087AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286564eb3bc4c320c48c2ddfca71197638c1cb5b","datavalue":{"value":{"entity-type":"item","numeric-id":914411,"id":"Q914411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9635991ec11866507e3bf843c78ba39807813d","datavalue":{"value":{"amount":"+0.7614316940307617","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":"Q4207882$97AFD8DB-9B6A-4947-988A-04C83A2E5927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e0cae42710547ece2a30a546fd9950b325296c","datavalue":{"value":{"entity-type":"item","numeric-id":3971269,"id":"Q3971269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbffbe83226e388a2ac8bfcaf0653e2e26bd1e0f","datavalue":{"value":{"amount":"+0.7540647983551025","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":"Q4207882$C573AD8D-C20B-45C1-AB84-A781C7C1F2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c6f9c9e13f5b878b402c543e97ce7519fc7973","datavalue":{"value":{"amount":"+0.7539823055267334","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":"Q4207882$7B610847-BFF0-410B-8CE4-E90CF902397E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4207882","badges":[]}}}}}