{"entities":{"Q4384380":{"pageid":6413979,"ns":120,"title":"Item:Q4384380","lastrevid":46968504,"modified":"2025-12-25T23:16:17Z","type":"item","id":"Q4384380","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1144311"}},"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":"Q4384380$E15BEE7A-8406-48C3-9FC1-DD39786263D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57c0b5466c74dec3df99868ba13eb3b700195973","datavalue":{"value":"0896.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384380$A5358D19-1849-4B71-B304-DB1574D22285","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e960b6031491651e5f121916383a51a169df87cc","datavalue":{"value":{"time":"+1998-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4384380$71976EDB-A0D5-428B-B789-9B9D437A5A04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384380$9865CD60-6FBC-4DDA-9559-4DCAB490798B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384380$9BA0093F-57F7-46A7-8319-BB8B23C2F511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384380$DEEEC296-76AC-41DC-B1AF-EBCEC3014795","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15ef81bb417d4b7f6cef318537aa84a7556edfa0","datavalue":{"value":"1144311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4384380$6915B920-9A1C-4663-8856-FF054B99F351","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384380$8712FAC9-BBB6-4569-A5C5-8BA41E264A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b959fc8b915bc7bb636700abdafdddaac38c5ec5","datavalue":{"value":"Computer","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384380$5C271691-49B3-47C4-B9CB-6DA6E456D0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a17f71e1df5983302ab49b548418153b6e47f7","datavalue":{"value":"Logic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384380$18905C26-95D6-4A0E-9764-68C6BEF721C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a138852a6bbe1bd423c3208f0f6cafbe5d1d0cba","datavalue":{"value":"Proof search methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384380$36250C66-78D8-4F6F-8EEE-66D7708ACADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fa4cd184cf34533614a94abcb76bed81015810","datavalue":{"value":"Maslov's inverse method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384380$3FFF3D5C-C4BE-4B38-8F42-9A2569C664F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384380$3F433830-5048-497E-9E0F-E1F6237DE58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384380$7A76165B-85CA-4EB7-B4FD-0513EB10BBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2f03612345a5f64c7f02e2c05ee22eabf1b468","datavalue":{"value":"production system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384380$A0561AF1-58BA-40D5-B864-B11D127336FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4384380$D1DD2594-55E8-426F-9948-4D77EBE8BBC6","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":"Q4384380$9384CBC3-841D-4B6E-9755-DD93E692B59A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a112d1013d75b0ddf62d8793fee33d050d77f8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4681159,"id":"Q4681159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d074c9a3147712ac2178aaa557342985ee3bdb","datavalue":{"value":{"amount":"+0.8102418780326843","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":"Q4384380$CA9AE685-7EFE-49BD-A801-4EFAE3F3E247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfec4533bdc71063bcd9b325c2a8834f6706e18","datavalue":{"value":{"entity-type":"item","numeric-id":3682461,"id":"Q3682461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7c38c04f6dcdb8f0f3e127c5306fad51bf7c24","datavalue":{"value":{"amount":"+0.7816230058670044","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":"Q4384380$E0663B23-43C6-4CB4-9B0B-D5A759EBE41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74824df70d552edc42d3ddaaa8229f913c4dd667","datavalue":{"value":{"amount":"+0.7758895754814148","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":"Q4384380$1A113AD3-29EA-416E-9C0C-00414793BB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20280da19a2f8ec045ce9838c8bd70d55912852f","datavalue":{"value":{"entity-type":"item","numeric-id":3749038,"id":"Q3749038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d941eb7b2803be0c12ea6a893617970877be0e9b","datavalue":{"value":{"amount":"+0.7738010287284851","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":"Q4384380$3DC87624-FC5C-40F3-A974-380E913B42FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331b37b95be4ebbbb648e9bfd870d3a37599806","datavalue":{"value":{"entity-type":"item","numeric-id":1379289,"id":"Q1379289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6859041c8681a348957f95d2b92b0fa9acf94a3b","datavalue":{"value":{"amount":"+0.7633727788925171","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":"Q4384380$11E8B5A7-BDF3-432A-8E69-39F33DBE8B94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4384380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4384380"}}}}}