{"entities":{"Q3347272":{"pageid":3357980,"ns":120,"title":"Item:Q3347272","lastrevid":48785524,"modified":"2026-01-05T20:46:41Z","type":"item","id":"Q3347272","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3890711"}},"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":"Q3347272$0AA15CE4-7867-40C0-B3F2-F7D85DA8DF63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0917d57cbffbbb4988b97b6c314f1444bed1983e","datavalue":{"value":"0558.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347272$45184A7D-28CA-4265-B86A-192317E76CF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d3dec6aadce844ad9d80f0e82c1b793e84236b8","datavalue":{"value":{"entity-type":"item","numeric-id":759475,"id":"Q759475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347272$4C7F8A39-6F91-415B-AA9F-E5D1A74F6FBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3347272$D60466EE-6EB2-4F98-96D5-35114871FA9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347272$6516315B-1BEB-4253-B7B4-06013250A2C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e41350476313b57459bd4a4a23163f014a454ee","datavalue":{"value":"3890711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347272$AAB7E052-5F8D-4841-9D2C-D12490216D2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a45d50d85345e9518c7d2e0600d09f758f3bde2","datavalue":{"value":"conditional axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347272$62D096E5-3C5D-4B9C-9F49-22B76207D191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347272$833C1FD5-650A-4101-B1D3-C11C54950398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3565e961520fbbc427099fa29147b03901d3dada","datavalue":{"value":"positive Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347272$95C51BDF-E8E2-4CB0-ADDE-D67B9272DD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347272$DBD9EC80-444C-4564-9717-7FF89475B8D0","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":"Q3347272$48456151-A7B6-44E2-9FD2-4474F6700635","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8868b49d3e6f4c7acc0c984e93c1a7c3be3dc936","datavalue":{"value":{"entity-type":"item","numeric-id":3341872,"id":"Q3341872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2a96cf9e86b894952e1f81c0eb18e9bd281ad2","datavalue":{"value":{"amount":"+0.8744377493858337","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":"Q3347272$3D0B56CF-85A7-4FF8-89CF-A544BAC86ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db476a1c29ee3caead0e30258c270cd05024359d","datavalue":{"value":{"entity-type":"item","numeric-id":5881266,"id":"Q5881266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f18ebf69907a9b2750b42483a142b1fff42ff2","datavalue":{"value":{"amount":"+0.7877245545387268","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":"Q3347272$F77A7FE0-C52A-49A7-B79F-692F4D050F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0708fd134b7a5793cc1699877aba12ba7e6e5e","datavalue":{"value":{"entity-type":"item","numeric-id":3819995,"id":"Q3819995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7023688dd577290a1882c184cb0cf3fee7c0e378","datavalue":{"value":{"amount":"+0.7847877144813538","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":"Q3347272$0E84166A-7B4A-4344-AAA0-762FC016BE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2997bbb8d74b222e50d323148ef6e9da5f20e7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4035654,"id":"Q4035654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40c748feeab7231713db8b8d792a7e5a43a747e","datavalue":{"value":{"amount":"+0.7703112959861755","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":"Q3347272$B5A96DA3-025F-4952-8C33-3ADE930EC6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e155946c8c0e99e1ac9e2016939f55f4b247e737","datavalue":{"value":{"entity-type":"item","numeric-id":3817591,"id":"Q3817591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840eb3e765c686fb72f13866198abd4fe435db46","datavalue":{"value":{"amount":"+0.768079936504364","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":"Q3347272$B7149ACF-7919-4C9F-BFBC-58AC350D647D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3347272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3347272"}}}}}