{"entities":{"Q4281588":{"pageid":6311189,"ns":120,"title":"Item:Q4281588","lastrevid":46311216,"modified":"2025-12-24T13:18:53Z","type":"item","id":"Q4281588","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 512885"}},"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":"Q4281588$C0D381B0-ED54-4333-9463-B3BCD624C405","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40ce210d92d80ec46bc0f8ba9d3cdee0d0b70137","datavalue":{"value":"0797.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281588$3298BE03-7434-44D3-B911-FFE19D83492C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1993fa6da35799d388e4715f56cafc1a43a11e63","datavalue":{"value":{"entity-type":"item","numeric-id":1311963,"id":"Q1311963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281588$5F56563F-A4FF-4969-8967-BBA8F6D65817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cee9ee8991d575589dd0f14714ea365677642eb","datavalue":{"value":{"entity-type":"item","numeric-id":1266201,"id":"Q1266201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281588$B8FB52F6-3822-4172-A1E1-D6408AB14C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d580d5e989b5b82886bdcefab7b54e9c9a839b","datavalue":{"value":{"entity-type":"item","numeric-id":1581060,"id":"Q1581060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281588$34888438-0DDE-436C-A7A8-27FBCFA71DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b442b4f3caf8d01e0b85874177845b1489b9058","datavalue":{"value":{"entity-type":"item","numeric-id":1369076,"id":"Q1369076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281588$7998504A-8F02-475A-962B-8BC12D493E4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51672651edbad47970e6ece29e7bebbdd7e8e8c5","datavalue":{"value":{"time":"+1994-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4281588$1F5ABE99-9BD2-4B70-9B63-96283E130284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281588$9CD64959-8470-431B-A24D-08D57376B8DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5007f623dade00a29f9b9d81a6811d023b8a942e","datavalue":{"value":"512885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281588$BC59C92F-D941-40C5-81A2-513E40D6D08F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281588$A2A19351-7DBD-438A-9173-3C86CFADA6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79db5d5479a490b3fd5b6083c8c207cb4976febc","datavalue":{"value":"abstract interpretation of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281588$440CD944-5A64-4783-9EB4-AAA55B027D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d318a1817c006a38a229cdb86fc29384b837b4a","datavalue":{"value":"constraint solving over finite domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281588$96EC1134-B4FC-4928-A931-6C887A7A1FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3147ddd0e99673db6ec1ace688a78b0098fe2a","datavalue":{"value":"constraint language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281588$6E6AEC2B-3DC3-4BE7-99F1-FFC4EBF8ADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"676f3f55ea255007f8ba981f936afad1e546ebf2","datavalue":{"value":"fixpoint computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281588$BAEDF5CC-AFBD-4E9C-947D-0178AAD2810D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdd2a975d483fb17d6897edde352d508ed722194","datavalue":{"value":"\\(\\mu\\)- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281588$C932138F-C0EB-43A5-BC06-A0B7D4391C1B","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":"Q4281588$1CA03F7A-A531-4C7F-8578-DAD11567A936","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a18dadd7f5b10b3fe0d3db66287657874aa56b","datavalue":{"value":{"amount":"+0.8165825009346008","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":"Q4281588$C559356E-445C-429F-8B86-B7EE543E45AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08e46f6b2f91cb5d6239cfef99e77869e554cd4","datavalue":{"value":{"amount":"+0.801121711730957","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":"Q4281588$4037C5B1-0E23-4281-B77A-56D1A32F45B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f06214f1831b6095f2fb1e6001989cea672daf","datavalue":{"value":{"entity-type":"item","numeric-id":4452611,"id":"Q4452611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bebd460d8213a4214ef8b1319f341733a695cf67","datavalue":{"value":{"amount":"+0.7946065664291382","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":"Q4281588$33DDA237-135B-4750-81D1-D4B3A3F28A83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4281588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4281588"}}}}}