{"entities":{"Q2909135":{"pageid":2919860,"ns":120,"title":"Item:Q2909135","lastrevid":42485043,"modified":"2025-06-28T17:31:38Z","type":"item","id":"Q2909135","labels":{"en":{"language":"en","value":"Yet another characterization of strong equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073897"}},"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":"Q2909135$3E159C98-DD04-4BEF-B2F3-1C7DBF0AA1B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df789f764a23e0310813d14b10cbce2705fddc39","datavalue":{"value":"1245.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909135$925164A5-4FD6-46FE-AAA5-053380BF9825","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d7279389b2829453942e3a511537e8d8a8343b4","datavalue":{"value":{"entity-type":"item","numeric-id":190252,"id":"Q190252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909135$B6C475A8-D98A-4E1E-94DC-E9C94B9494A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909135$F8F6CA0D-F94B-4BCC-BF10-A91D29296373","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909135$48752824-F5B7-4830-B73E-A217BEE9AA96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96d7ecd57640755d578798de6172c5388326da96","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_c889.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909135$1A8B3A5D-CB50-40C0-92E1-5B83A2B6B3A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909135$8E8143C3-EFEF-40D2-AABE-3F124B1320C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909135$ABEB8247-BCE9-4B5A-809D-E9FDDECF1010","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f80a6bceecef502fe5b9879f2187d125c965eaa","datavalue":{"value":"6073897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909135$7BCAB3B8-C42A-4081-BAA2-B37728FF5E24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909135$7723C57B-A97F-4922-91AB-046C89B69FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909135$62FBE129-6CC1-4B26-935A-1A77082C8429","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":"Q2909135$9FE43389-1312-4902-8809-0F4CB4A2EC6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ebd7dd7c83a5f740c752d986453d428e6dccf9a","datavalue":{"value":"W2147342054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909135$2216DA82-5B89-45BB-BA05-8286E030C37F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1878ccb511e90843647c1bedfebc08273aed50d9","datavalue":{"value":"10.4230/LIPICS.ICLP.2011.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909135$E40A9EBF-BCB7-41DE-A681-3673AC970195","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03ee800cb2d4a37dcf3a673a8fef5450f7cfd67b","datavalue":{"value":{"text":"Yet another characterization of strong equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909135$E65F9A1A-FD0D-4A19-BC69-D6DC831EE9E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2909135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2909135"}}}}}