{"entities":{"Q4461444":{"pageid":6491043,"ns":120,"title":"Item:Q4461444","lastrevid":48266476,"modified":"2026-01-04T04:18:47Z","type":"item","id":"Q4461444","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2063838"}},"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":"Q4461444$F17AAEBF-D40C-425C-86CD-056F8CC79170","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f7de63d0dfb252fb41d9583d3b0ee2801267450","datavalue":{"value":"1037.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461444$DE4A2DD7-E418-440C-A2C7-366E141C43A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9bd1275167f49f6295b1eb746a5d906de4f9f08","datavalue":{"value":{"entity-type":"item","numeric-id":1896558,"id":"Q1896558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461444$DA40FAC9-2F80-49AC-B1A7-8E79539F6546","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c6fdb76f2daf9edf730ebf5f5bb24859da4eb5e","datavalue":{"value":{"time":"+2004-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4461444$7ED4359C-C864-40C6-A87E-1EE18746A906","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461444$3638CEFD-E2DC-47E5-97C6-0F1982FC7E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461444$1D55666A-C6CE-465D-9B1F-33A23786785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461444$A982B2C6-A0E5-473A-913C-44A9AA6E2EB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7473a0bfc1849dece1f74888ed300a0bf5191813","datavalue":{"value":"2063838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461444$CE635399-1D1E-4FFA-8A40-8DE6DBCC5AA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461444$4C5D46EB-41A5-4D4E-9F4A-8D3158464485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c7320d90de9016b04548ea1f5dd5869b9c8af7","datavalue":{"value":"finite descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461444$1FE332EB-9B06-4FDA-B071-92F808DE5D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461444$0FFD21C5-D562-4A57-9360-6EB153400653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"242817707d9b5350e8b9e54ceb24206be5254f47","datavalue":{"value":"generalized clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461444$89811F26-9577-464E-A1F1-D4D1C9B68DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461444$820E7A7F-11B8-415B-8E62-4C7BA61E9B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795c6492143676e67aeb742d882840d0daade602","datavalue":{"value":"generalized resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461444$2251ADDF-E85F-492E-B609-3DD95AF66F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b1c274740ce58af4a93ca5e8906b07cacb6935b","datavalue":{"value":"generalized paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461444$1859A516-7C0B-436A-AF98-75EAF6B4EDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461444$EDC4896F-345F-40E6-AFFC-99DA9BBC2F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8429dfea06e55986453634ac7b81430d4907e9","datavalue":{"value":"finite logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461444$D3B91D63-2EEF-4B30-A76D-38FBA49809D2","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":"Q4461444$94A21A89-529E-464F-A543-99020743C6E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c4be8a694466a11739517dce618f81986a62a4","datavalue":{"value":{"entity-type":"item","numeric-id":4461449,"id":"Q4461449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f270a733a6d4e824bfa7f4d8bd83cc42d4a5f07b","datavalue":{"value":{"amount":"+0.8040063381195068","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":"Q4461444$3DE59506-D35B-413D-A66E-10994875318A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e80554d6a14e7ca125592cdad25ef229d7b80a","datavalue":{"value":{"entity-type":"item","numeric-id":1091810,"id":"Q1091810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed32a938742eb57a1d0137cfed9a102cdaeddf3f","datavalue":{"value":{"amount":"+0.776138961315155","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":"Q4461444$0DF304B9-5E4C-4098-80D2-F2969CEE19B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5143a188ecc60375abc79d50b3b8bdf7d2900e","datavalue":{"value":{"entity-type":"item","numeric-id":4461445,"id":"Q4461445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb5a6f87040043235d42f5c926b289cf48cbfdf","datavalue":{"value":{"amount":"+0.7711613774299622","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":"Q4461444$C26B8C52-FEE1-467D-8FFD-FA38515D71D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335d262dd958b4256fb3fe182253c3356e31b83c","datavalue":{"value":{"entity-type":"item","numeric-id":2255203,"id":"Q2255203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623689cd6e70bbf14fc68000455214e4d1872417","datavalue":{"value":{"amount":"+0.7513864636421204","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":"Q4461444$7E2281EE-82E5-48B4-870F-FFBD6359E4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8040ff7ca210acfd9b735b8c54badca0ce8e663d","datavalue":{"value":{"entity-type":"item","numeric-id":5850983,"id":"Q5850983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d6a3723f12e35f79c2fe0a952b207f3b2501e9","datavalue":{"value":{"amount":"+0.7486833930015564","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":"Q4461444$E1A95D33-8A0A-4A53-BE7F-50E3FBC99EB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4461444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4461444"}}}}}