{"entities":{"Q1900312":{"pageid":1911054,"ns":120,"title":"Item:Q1900312","lastrevid":71736621,"modified":"2026-04-14T00:12:51Z","type":"item","id":"Q1900312","labels":{"en":{"language":"en","value":"Observable behaviors and equivalences of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 811001"}},"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":"Q1900312$981704B2-2311-4554-923E-DEED8154DEBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a356150c6c2cdae789d4370d42da2e58ea71e42","datavalue":{"value":{"text":"Observable behaviors and equivalences of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900312$E47E37F2-38C8-43C5-AD7E-E47F4670C951","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3763de98ac3b735b0fc103e9849f18c535684db","datavalue":{"value":"0834.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900312$6A191CCD-37AF-4648-B790-F2678C6A176E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900312$908A4FD2-F09C-4EC7-8B7F-4536384E0A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4abf1cf11f5de92d0263da0760474f1adf0a61a","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900312$CB52E3BE-78BD-45AD-9AFC-C65708F8AFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900312$7393C9C1-55DD-4AB2-8E23-29F1955E49D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900312$190BDA6B-D17C-4A81-B12C-8101DB3A3235","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"894be799020e9aad5f698deaabf9e3b9c5d87e0e","datavalue":{"value":{"time":"+1996-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1900312$105D516B-2EDF-4069-8991-1C349F158A1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a05be47c8aec07bfa826c6930dcb2cf566cba55","datavalue":{"value":"https://semanticscholar.org/paper/b12316ff3a5118ae76aef00e6d0ec6be09303c38","type":"string"},"datatype":"url"},"type":"statement","id":"Q1900312$887443AD-96F7-468C-875A-6EB10C5D63DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900312$E686BBF1-7C4D-42C5-8F76-32A3BDA9E36A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87a973165372b300881e401f73b8e89d8ccea955","datavalue":{"value":"811001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900312$92DCE861-8865-4EF9-BA2D-9F340D39FD2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83cf6b80d37a11080591bd491521e494a309bff4","datavalue":{"value":"semantic scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900312$68289340-6F42-4B87-A74F-AD3A9D44E5E8","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":"Q1900312$04881D9F-6631-4E9F-BBE5-AAC3499CF454","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb7ac5b3be06535574d0e81eda80db544f72f5e1","datavalue":{"value":"W2083731854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900312$B85471C4-DC2B-4B5F-B826-09D36F6BAADB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"233c955bc25e36cfb7a36e993b9babcc920a1127","datavalue":{"value":"10.1006/INCO.1995.1138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900312$B8B9EC0F-D264-4EA4-BE86-CAC6E9E031C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53aa154dd5edd0155dafa8852190f177ffa93af1","datavalue":{"value":{"entity-type":"item","numeric-id":1854446,"id":"Q1854446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9dc2e0da5a55c34033581b89c7ba2401f609e10","datavalue":{"value":{"amount":"+0.8268538117408752","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":"Q1900312$C824293E-158A-44B0-8F76-47F30DD0BA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec00b233c290ee07150de8174f0acc7738556e79","datavalue":{"value":{"entity-type":"item","numeric-id":4763533,"id":"Q4763533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a527691a916e3b213ebf417ab5dadc123643bce","datavalue":{"value":{"amount":"+0.8080083727836609","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":"Q1900312$3D23D189-3370-43A9-8C82-D6A46D89A471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539af1f29a63fd967a7fa7e490d1c41cccd980f9","datavalue":{"value":{"entity-type":"item","numeric-id":672703,"id":"Q672703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e75ed4bb828e783025d90c82b0965469d512ef7","datavalue":{"value":{"amount":"+0.8007053732872009","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":"Q1900312$53F84027-DB59-44FA-8D43-374DBEDD58CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c3662bd1a3600b7167bb851e8cfa1f0f540ce9","datavalue":{"value":{"amount":"+0.8000577688217163","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":"Q1900312$200F4D13-765D-4341-B17B-9BD9C38D6808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584d17113322b4fd20d613addd682b2fc32eaf59","datavalue":{"value":{"entity-type":"item","numeric-id":4036549,"id":"Q4036549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7359fa1cf25a86415c15b463227de4ed759df3","datavalue":{"value":{"amount":"+0.7977607846260071","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":"Q1900312$2222331B-BED4-4B9D-BA7E-8823BD5F6FF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observable behaviors and equivalences of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observable_behaviors_and_equivalences_of_logic_programs"}}}}}