{"entities":{"Q3345751":{"pageid":3356459,"ns":120,"title":"Item:Q3345751","lastrevid":48760177,"modified":"2026-01-05T19:30:09Z","type":"item","id":"Q3345751","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880080"}},"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":"Q3345751$5BA04D62-3D61-4189-89DB-56CB2E6634DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2db1de654532551b4b999a26aa0e890e80d8c57","datavalue":{"value":"0552.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345751$0223314A-5073-41BB-B5F1-3798D1C5241D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60f1f8ec2361bd759ab17a18ee9e2dd9dc66346f","datavalue":{"value":{"entity-type":"item","numeric-id":3345750,"id":"Q3345750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345751$A1B760DD-F769-4BA9-A154-EE73C013173D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3345751$AC5F448A-B3C2-46EA-A943-339202E98C85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345751$59693D77-4249-4B7F-8631-5DE33F1D4DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345751$8FFD368F-F3C9-4DAB-BE05-E6AF7F1E0E63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07a15d6ea362ce25f3943ae243828ef2dcfdd586","datavalue":{"value":"3880080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345751$70A4D433-5CAC-40FA-B8BD-27FF64E0A673","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345751$32E7DEA4-ECCE-4CA3-9EB7-25385CD1CA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345751$EDEFB9B5-DFE3-476D-8D8A-65CAFD739CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345751$F40667CF-E1A3-4A97-9273-9427CF454F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345751$8223C0E0-CDF9-494E-A67B-046DEF3FD415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6664303181ead788b2718d367d139addd2ff10e3","datavalue":{"value":"Algebraic abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345751$3A560C83-DF06-4004-B515-6938F31AD9D5","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":"Q3345751$B2296B4E-293A-4D6C-9DC9-544274191F1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2a85b0cc7bdb71124ef461276090e138fb0225","datavalue":{"value":{"entity-type":"item","numeric-id":3768378,"id":"Q3768378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798b9907e9e65e4f4f9d6d2cc980a29b9ab121b9","datavalue":{"value":{"amount":"+0.8001981377601624","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":"Q3345751$D5E9D05B-1E7A-4DA9-A5CA-828C11FE1508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d9a5eb0137648266dab2e0ada2b56f609aad21","datavalue":{"value":{"entity-type":"item","numeric-id":3347271,"id":"Q3347271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ea1d8f01efc9205e0fc46e7d62fcb1fc1fdabe","datavalue":{"value":{"amount":"+0.7781988382339478","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":"Q3345751$005C0E50-C071-4009-AB7A-C7DFFB67E716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10dd6efcad95784ec5416d36b9a1b91b05b756","datavalue":{"value":{"entity-type":"item","numeric-id":3707381,"id":"Q3707381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606e6506bfd490bf8798a892b6f837200b5f587a","datavalue":{"value":{"amount":"+0.7750641703605652","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":"Q3345751$3ABB4F63-29B5-4806-BDF3-A199E552FC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc40a49ce73995ffbcefe54604f44c431e24682e","datavalue":{"value":{"entity-type":"item","numeric-id":4692466,"id":"Q4692466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f377329638d761d36080141a63709997a19eaec","datavalue":{"value":{"amount":"+0.7658584713935852","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":"Q3345751$418C42C7-9C22-4B1E-8376-A95D9176C7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4fb4f8470bf3139adb0da9242cfdc057ad56","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088ae10c67cc93dbdcef9b5d4a4200b354fb7164","datavalue":{"value":{"amount":"+0.7630109786987305","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":"Q3345751$501C1C53-6FE3-4926-A147-00651C8CA060","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345751"}}}}}