{"entities":{"Q4287495":{"pageid":6317096,"ns":120,"title":"Item:Q4287495","lastrevid":46306725,"modified":"2025-12-24T13:07:41Z","type":"item","id":"Q4287495","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549976"}},"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":"Q4287495$A18F1F61-377B-47F8-A852-EB3C1D6809CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f4c909cd4f9e985966817f65dbd61a7b89b6c23","datavalue":{"value":"0789.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287495$7914BF05-F893-4D5B-846F-0765C5AC463D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dadf73ca47ca9e4516f8af7c2afa38193703c43b","datavalue":{"value":{"entity-type":"item","numeric-id":753473,"id":"Q753473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4287495$D7EF3588-F52D-4321-9D24-5A49DC099EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94e5efea2cc7db8851367a6ebd14e4f3b6c67974","datavalue":{"value":{"entity-type":"item","numeric-id":805223,"id":"Q805223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4287495$C334FFD2-F623-40DF-804C-CB347CA373C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4287495$BCD8ED8D-9AD6-4A0E-84D6-121DA2C8590B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287495$519498DD-EB6D-4C5B-AC90-D6E725380843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287495$B518F5D8-7C16-481A-A932-F936738B9C34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe6b20aacb9117d9a4342bdfc2e1b2bdd3f272d1","datavalue":{"value":"549976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287495$9F5178AA-198F-4C70-A2F1-2C5934C35811","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287495$DA39D8CA-F644-4AF4-B8C5-D1AAE50F71C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c7c64208a4ad8d6116f05a3ea9829e813ac9ea","datavalue":{"value":"least fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287495$6D4F786C-3D04-4A7E-A839-4B4E8A1C4C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1396a2fa55da7915512839cb842fc2fa9013f9","datavalue":{"value":"logic program with negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287495$2B6E42F8-903E-43CE-B124-D84A9DEA0903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4875eec6fdb1752b1215307d29b6a985dd6c575f","datavalue":{"value":"three-valued Herbrand interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287495$8F42811F-CB84-4015-9C8C-BD0408D41BED","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":"Q4287495$F9A1BC38-9FCD-491C-9D59-7965D1789BC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0356c80e14b8710a7c22a5ce411c6e66a0499414","datavalue":{"value":{"entity-type":"item","numeric-id":753474,"id":"Q753474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72032dbf97c1d61ce814ad01a9cbbd6d3d59e9b","datavalue":{"value":{"amount":"+0.8426596522331238","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":"Q4287495$3364BCBC-ADD7-496F-BA8A-D7DFC04D8FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512c7479d7f7e95622afbd8a84e497281a7c2c89","datavalue":{"value":{"entity-type":"item","numeric-id":4708939,"id":"Q4708939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e9573e299803fa994cfe026bc799fb4ca39a2d","datavalue":{"value":{"amount":"+0.8349739909172058","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":"Q4287495$55E8B2E9-2808-4CC7-BB6E-142092DB4DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1183278578ff9ff24c5cec4d708a58a44537de","datavalue":{"value":{"entity-type":"item","numeric-id":5277727,"id":"Q5277727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6aba2fddac7f1f327e2f2fe1379fcc06b66714","datavalue":{"value":{"amount":"+0.8336136937141418","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":"Q4287495$9269433B-AA20-476A-8929-A5FD624FC228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c12b0c85a4e6ca2354e77cd712cf352d4b3b8116","datavalue":{"value":{"entity-type":"item","numeric-id":5750391,"id":"Q5750391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ceefab8dbf146cf74478ed73bc7f1ce45d8b1d7","datavalue":{"value":{"amount":"+0.8145748972892761","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":"Q4287495$F6627F22-62A4-4F04-8DC4-4A8351F49A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708e87042ff13e9690f482efb247d126421f0857","datavalue":{"value":{"amount":"+0.8139817118644714","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":"Q4287495$ECC00A3A-A5BE-4DE9-8E74-24645DC87205","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4287495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4287495"}}}}}