{"entities":{"Q1100932":{"pageid":1111684,"ns":120,"title":"Item:Q1100932","lastrevid":49154743,"modified":"2026-01-06T16:39:30Z","type":"item","id":"Q1100932","labels":{"en":{"language":"en","value":"Obvious inferences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045225"}},"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":"Q1100932$AA12ED07-BED4-4D74-BF5E-930179DDACB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0279414fb8995a9651049a7d5ed8e72a75ab6dd7","datavalue":{"value":{"text":"Obvious inferences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100932$37149D0C-61BE-4324-AAB4-D208CB0B6247","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e66234a59b1e971fa6020410c07bbbcaffaae88","datavalue":{"value":"0641.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100932$2552CE8C-9AF8-45C7-867B-9D8DE9651AFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67539f85e240fe1e1f0e704c8b50d154db5e7c19","datavalue":{"value":"10.1007/BF00247436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100932$916D71BA-67B0-4704-B70C-392C4B8E30A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d72ee9ffde9510a13b5bea91934f187bdc57c7e","datavalue":{"value":{"entity-type":"item","numeric-id":467775,"id":"Q467775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100932$C903AD2A-A84A-4605-A091-36DE06BED55A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100932$42A8E230-384B-4FBE-BCEE-BB4E710A8082","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1100932$31F0E958-BDFC-4ECC-B604-F325D4BF559B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100932$238B5434-3C71-401A-8B40-DD90DD817A1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a91f4ac4f227c2656ef6ec629ea6519e639bbf67","datavalue":{"value":"4045225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100932$5CED47C7-4091-4C83-A62C-4AD6F57A5B73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100932$338D4228-7369-4D82-89E2-11AA853401E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100932$E29B279A-0210-4024-8048-94C94016AA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100932$06A436E7-7A19-4A5F-A896-BF2216987C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d83095e8da83d4cdb858509a39bddba086b7306","datavalue":{"value":"logic teaching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100932$F6F9F154-816B-4656-BB3A-E4D2C11117AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100932$C3A139FA-668B-4FBC-BFB2-11469594AA0E","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":"Q1100932$456D5C0A-8618-4B01-A72D-DB7F1966FA4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a994d8dad4ec759fc758b910acd1246bbd8ee01","datavalue":{"value":"https://doi.org/10.1007/bf00247436","type":"string"},"datatype":"url"},"type":"statement","id":"Q1100932$CC593A8B-D201-4CBA-BD5F-743AB66CCCB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c031c12f7eaad9eb2e2e1da42a97272da3e27b3","datavalue":{"value":"W2912720603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100932$B7B5F5A4-D81E-486C-8901-A6FAECD5672B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb73c5444992884f7c82891b83beec4ac7db8af","datavalue":{"value":{"entity-type":"item","numeric-id":4889874,"id":"Q4889874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db52983e934acc9e3ab00eeb668627c30b9ce74","datavalue":{"value":{"amount":"+0.6727495789527893","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":"Q1100932$BEB0F9E0-98F3-4EB4-92C1-9EB3716F8EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e417b3f605acd0ee304b16ce88850791052c57","datavalue":{"value":{"entity-type":"item","numeric-id":1342557,"id":"Q1342557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2175890eca98ae6e7ecdf0dbc47fe992a50f5ef","datavalue":{"value":{"amount":"+0.6702448129653931","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":"Q1100932$2200491E-3FAE-41EA-8B10-266936362254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0dcbcda0c832ce990157a9338dce131e5800fab","datavalue":{"value":{"entity-type":"item","numeric-id":2776069,"id":"Q2776069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a8044d6cb66cda2af7b4c528e97c9df3c91b2e","datavalue":{"value":{"amount":"+0.6688960790634155","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":"Q1100932$0317F77F-C9D3-43FE-9F0E-7E33CEDCD972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93608f2b5ad00911e44a14bf6ad14ca928b6b79e","datavalue":{"value":{"entity-type":"item","numeric-id":2950035,"id":"Q2950035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6746a4c9e9879fa6f2aa961828eed634bd6584","datavalue":{"value":{"amount":"+0.6664177179336548","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":"Q1100932$829253E0-06A0-4599-A92E-614C95783DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b113702951b2f59ac8979ddf5b7b0280ecab9f95","datavalue":{"value":{"entity-type":"item","numeric-id":5742195,"id":"Q5742195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb85992c27346826fbde0c8c952fefb96a09b2f0","datavalue":{"value":{"amount":"+0.6614606380462646","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":"Q1100932$1E86F1F5-4243-4D65-BCB9-206D9FD0B425","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1100932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1100932"}}}}}