{"entities":{"Q4098673":{"pageid":6128273,"ns":120,"title":"Item:Q4098673","lastrevid":31944645,"modified":"2024-03-19T20:19:27Z","type":"item","id":"Q4098673","labels":{"en":{"language":"en","value":"A Human Oriented Logic for Automatic Theorem-Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3519908"}},"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":"Q4098673$583E28D1-8B72-418C-910B-A83899ACA39E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a121d29c262f164a93b7e0a4cb516246baf79cd","datavalue":{"value":{"text":"A Human Oriented Logic for Automatic Theorem-Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4098673$F665C11E-4E94-44A8-9F1F-124EE4F60282","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64a5f11e4e1f7eb11d90a513ed22046469c5f465","datavalue":{"value":"0332.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4098673$BB3C0E8B-D5A9-4B34-9080-00CE144D3328","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e09c29b63ea9ccc390a12612a27cf0586ff32e8f","datavalue":{"value":"10.1145/321850.321858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4098673$053004AA-DD1C-4E45-BD4B-0C9D465BF238","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da52982855b46913f1dd9b66f669911342b602a9","datavalue":{"value":{"entity-type":"item","numeric-id":1215409,"id":"Q1215409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4098673$D6C125F6-7891-4F9B-B0A0-B8D654E8E12F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4098673$9D03C5B3-640B-4D2C-A7C6-F07D3189530F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4098673$205F817F-6F4B-4408-B54B-1E9E951CC8AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a3682c52d0964c5854b6fd1e71f15e01b9fe7db","datavalue":{"value":"http://hdl.handle.net/1721.1/5807","type":"string"},"datatype":"url"},"type":"statement","id":"Q4098673$0AAECB40-284C-44E8-A661-380E193094E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4098673$C4D8226D-9C8D-4B05-84CB-FE7CF318501D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4098673$774ED028-A03B-4830-841F-E78EEE74B6A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed5f211a2802f1a73da8196b3407b9a6c63fa931","datavalue":{"value":"3519908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4098673$D56D707B-B9F0-405A-A3B4-3A0DA12F9989","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":"Q4098673$0EE84C96-D03D-4658-BEDF-A878764D045C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"789eabb8b8c1d5e61e5095672901d471fa3f6df2","datavalue":{"value":"W2075469844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4098673$EC6C8C95-3F52-4CDE-9E30-91A2436E9CF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4098673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4098673"}}}}}