{"entities":{"Q4815035":{"pageid":6844615,"ns":120,"title":"Item:Q4815035","lastrevid":48329941,"modified":"2026-01-04T09:28:42Z","type":"item","id":"Q4815035","labels":{"en":{"language":"en","value":"Strong equivalence made easy: nested expressions and weight constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2092652"}},"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":"Q4815035$1D5E1697-1E88-441E-907C-651C53B433CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6c978ca2dca0feebc25104af12eb1b387473952","datavalue":{"value":{"text":"Strong equivalence made easy: nested expressions and weight constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4815035$6358AB9F-18BC-482B-A651-4A606899CCF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11a77a1bd08bb3fb03975b5530548dcfb9f4828c","datavalue":{"value":"1079.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815035$230C870B-073D-4C89-BA4B-B62248BFC6DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef4be491d04ecad65a4dc1b630eeb9d6ea97aeb4","datavalue":{"value":"10.1017/S1471068403001819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815035$3CDB8A5C-20CC-4678-8F7C-96B3B0FF63B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb069b094d6aa7a00c58f929c66cb34cfbbae89","datavalue":{"value":{"entity-type":"item","numeric-id":814550,"id":"Q814550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815035$8BDCBD63-19AB-4EC4-9935-0FDC17696E90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815035$E40E1D38-73CF-4D34-9B6D-681D4D642FF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad9e6929b84d2aa86589bcc6be2d26ada8b5576","datavalue":{"value":{"time":"+2004-08-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":"Q4815035$44FE98EB-1264-4A8F-A765-A93CAA3EC867","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815035$964BD4E4-ED37-4086-8189-9D49DA9F27AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815035$94026306-DA7A-49D5-A83C-C5EFB4C90504","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cd6c1d3f840a55c948a8cffd5d7d2308fe8a708","datavalue":{"value":"2092652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815035$C5168E4C-9BCD-4B15-A84C-1DAD96E8AF36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554e7d94e535f9067a8106c37c3422e0273ee972","datavalue":{"value":"answer sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815035$ABB1791E-F3E7-42B9-B9A3-AEAB56F26E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815035$48726963-021D-4157-BB9B-6166E6F58E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a49d574fb14f96662c33dcc653cbf3177aab6b","datavalue":{"value":"nested expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815035$A1774884-7108-4165-8BF6-A0D817620784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"704d8e2e2dc273bd9635fbbbd117ccc513ef1c57","datavalue":{"value":"weight constraints.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815035$5878DB29-2C50-4392-9CB6-C382848F0CB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815035$71565411-93D8-4483-9199-3BD9EFC0AAFA","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":"Q4815035$C018BC47-6961-4054-90C4-4877D28ED0E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49779dc637e280df545515577cc350f595584215","datavalue":{"value":"https://doi.org/10.1017/s1471068403001819","type":"string"},"datatype":"url"},"type":"statement","id":"Q4815035$2C099FC8-B40C-43AD-ABE5-B2F0CDC7A442","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea0b9428788b711bbed7d8345e863f389c27dd49","datavalue":{"value":"W2066287719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815035$DB4D6444-9BC1-40AB-92A3-7A7A90D43AA2","rank":"normal"}],"P1643":[{"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":"651835a392cef5ceb0a1211996055f1faa605967","datavalue":{"value":{"amount":"+0.8958231210708618","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":"Q4815035$FC2E867F-4450-4101-B2F8-A08AC9BCCC98","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":"bac48f9fa8b649edcca2cc56662cdacf239b358f","datavalue":{"value":{"amount":"+0.8761560320854187","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":"Q4815035$C4E7D5DD-128C-4123-B1E9-313E250DF86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a065c44b0f2c17ca18909876a413d70112347d","datavalue":{"value":{"entity-type":"item","numeric-id":4673539,"id":"Q4673539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ae47d7d2e91f1d4b04bcf8aaacb02bcdc69e3d","datavalue":{"value":{"amount":"+0.8621396422386169","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":"Q4815035$4B2D2183-7871-4732-BB39-756526EBF52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea33aa3d446a4a35599d608bc7a3833997fb16f4","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"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":"Q4815035$A3179DF1-D673-4BEA-AB36-9B3C51B8BDFA","rank":"normal"},{"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":"efe0b00c4c5a7ec217d0cf22965bf01ab044b50c","datavalue":{"value":{"amount":"+0.8493012189865112","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":"Q4815035$E3C05F1D-0853-41E7-AD10-A30898A155D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4815035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4815035"}}}}}