{"entities":{"Q5202173":{"pageid":7231744,"ns":120,"title":"Item:Q5202173","lastrevid":49478071,"modified":"2026-01-07T05:39:55Z","type":"item","id":"Q5202173","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193644"}},"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":"Q5202173$411CB03F-FF6A-4308-AD59-B5609279A229","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5048bbd49cdc66bae0119fd01b077370784dd70f","datavalue":{"value":"0724.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202173$E7D47CC8-E7C4-4677-867D-DFFB1AE4EAB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f6d09ef5c7f87b811b2b5e76f5d6438fbf3c63","datavalue":{"value":{"entity-type":"item","numeric-id":197490,"id":"Q197490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202173$71D036B2-2341-4ABB-BE2C-D89A6F034680","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q5202173$E5305A12-32DA-4287-A7EC-DDCD3630B84A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202173$BD537B17-191C-48EB-8BAB-14765B17DAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202173$6EAB5C02-919F-4112-9B1A-9E74F7B1319F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202173$EB9B5693-DC00-4E67-AB51-AA664AEC6FB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81147363c5b6202dd937198440b832337916788a","datavalue":{"value":"4193644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202173$1AF6FEFD-565E-4E19-9677-03AE5F76307E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c73bcc81c91f887e74b2a75352b6d260a684758","datavalue":{"value":"proof procedures for logic programming in many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202173$B4398524-6683-4D8D-9F4D-B85B83CA87BA","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":"Q5202173$655144ED-56C6-4252-A8CB-EB1F47252B56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e5bb7ea79d58c5271f1615cc3d8d9d8d59fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a6fd2f86ac306cc5bc28242c3541a8002df3e7","datavalue":{"value":{"amount":"+0.8056210279464722","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":"Q5202173$1AC721B9-EABE-4432-AA70-7AC808E24C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6021f70475ec456907b1059df7b91dfa79a09357","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181d5465f97e30032cd96ce7ee90c077f1b9590c","datavalue":{"value":{"amount":"+0.8028066158294678","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":"Q5202173$9D0900E1-7C62-4586-BF82-20538D5C0BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6d998ce948107222ba35556732eac47f2c7c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1117705,"id":"Q1117705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0646cefefbd0fcee27091da835ee955e37eb800a","datavalue":{"value":{"amount":"+0.7971369028091431","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":"Q5202173$4E8B0306-147C-4ECB-880C-46DC5BF5D9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653e895f3899c4df73fe7a8591e317d9115730be","datavalue":{"value":{"entity-type":"item","numeric-id":4836225,"id":"Q4836225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34d661bdc997f3b7bede7b59d66bae1faa6b897","datavalue":{"value":{"amount":"+0.7759097218513489","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":"Q5202173$14A55E1F-6954-4E62-8924-C7B00DE6740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0a28387918989a7a4fec9c5dbc834095dd29be","datavalue":{"value":{"entity-type":"item","numeric-id":3786473,"id":"Q3786473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c8d38477c4e818e055c4a89b0d915537220536","datavalue":{"value":{"amount":"+0.7638633847236633","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":"Q5202173$840E3CCA-4FF1-439F-9444-F15F4C1FF158","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202173"}}}}}