{"entities":{"Q5425408":{"pageid":7454982,"ns":120,"title":"Item:Q5425408","lastrevid":92289614,"modified":"2026-06-05T01:21:00Z","type":"item","id":"Q5425408","labels":{"en":{"language":"en","value":"A Characterization of Strong Equivalence for Logic Programs with Variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211336"}},"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":"Q5425408$00B530E8-838E-40AB-940B-D7E62240E616","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e66bf56272fdf8afae9559096213abc4ecf1999","datavalue":{"value":{"text":"A Characterization of Strong Equivalence for Logic Programs with Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425408$16B9F68D-8E74-496F-A273-CCC45D26A6B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15b0c663ac651d274e686cd45d0382774c0c1ef0","datavalue":{"value":"1149.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425408$1D23E13A-3BD5-47E2-9CD2-F5CB43ACAE54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dafbba198ab7ae9d0e39eb1685cba020a89f2c35","datavalue":{"value":"10.1007/978-3-540-72200-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425408$BA37F369-2CD7-45FB-B569-66A8E0D7D29D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425408$3A4896A5-D5D0-4764-9231-A49E5B0ADEAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425408$8C864CE1-3E6C-4342-AA36-B707AB3BB74B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425408$9AC74BA3-6DAF-4E92-9D4E-77FC05294B1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37df76272007433dee9b3b5437382799c31e81f4","datavalue":{"value":"5211336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425408$890BEF01-5266-4DEC-BAC9-3C0ACBCAA74B","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":"Q5425408$BA788FC5-4425-4674-9DD1-8C9E3663FA97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01ff145682618ac0a7459249007a01c418d39937","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72200-7_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425408$8A3A96E9-33AB-4FEE-AAA5-FB41DA6F5EE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"721ca72eb21d5c300075b444c808635cb9c442df","datavalue":{"value":"W1527039196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425408$90261AF1-8803-4804-9DC9-92317A5CFDED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacdb0a177fd3fce5410d6abad8a8f0cbf33f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":2407875,"id":"Q2407875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3992a9c7171731a92ec82cb1dfac29b173f632","datavalue":{"value":{"amount":"+0.8720274567604065","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":"Q5425408$C82191C1-6315-4624-AEB5-8C6FCA63A2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e000ad49afd82833cb64d9dd071c10fe20bb66","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fb4cb7c9bd0a77bff3fceb5f5e557c98fc63e5","datavalue":{"value":{"amount":"+0.869785487651825","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":"Q5425408$07259CD9-304E-4320-A684-E1352AC92319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5d4843d7eff526f2fd382b05084a60fb13714","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbaa4a96e61b7e0409e60435a8b89965b78f297a","datavalue":{"value":{"amount":"+0.8546825647354126","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":"Q5425408$025DA989-2B1C-4A52-A598-E26EBA7269A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5379bcf6eb57dbd7dc1e8cddf64eec2297960c","datavalue":{"value":{"entity-type":"item","numeric-id":4799292,"id":"Q4799292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6280d23158f96b12d3ea5607f880e45710b3945","datavalue":{"value":{"amount":"+0.8473619818687439","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":"Q5425408$58866C1F-0FFE-4CD0-A5F0-955F3CCDD4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e97016efd4ddd6da251c66ef051e3ee4988182","datavalue":{"value":{"entity-type":"item","numeric-id":3449222,"id":"Q3449222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0398ad291faa6fa0091e076179ae80b1ce4ca9","datavalue":{"value":{"amount":"+0.8350644111633301","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":"Q5425408$BC3FA040-144B-48A8-ACBB-D429F3644902","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Characterization of Strong Equivalence for Logic Programs with Variables","badges":[]}}}}}