{"entities":{"Q2628300":{"pageid":2639043,"ns":120,"title":"Item:Q2628300","lastrevid":52819880,"modified":"2026-01-23T14:02:05Z","type":"item","id":"Q2628300","labels":{"en":{"language":"en","value":"Transforming Boolean equalities into constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725120"}},"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":"Q2628300$25800083-46BC-44E1-894A-0585AB45B0D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9612bbaa4ff347ed1ade877742fa908bc5ecc73f","datavalue":{"value":{"text":"Transforming Boolean equalities into constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2628300$0943D464-27B8-46D4-A05A-A64BD591FD7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69f5894a8c1323041800a8bb4950b11de520a4f7","datavalue":{"value":"1362.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628300$4090492A-A6E0-4DD5-A09C-A775C5F567F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9274b73dd573fee279270fe8e767a4ba074becc","datavalue":{"value":{"entity-type":"item","numeric-id":671503,"id":"Q671503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$32B14ED6-BFC1-4EE5-98DE-700FBC8ECB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a0a3d9b0aa1479b8d064647908d17d9971b50","datavalue":{"value":{"entity-type":"item","numeric-id":293291,"id":"Q293291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$16595883-0D30-4FE5-8A93-4768C554E622","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$C7ACA54E-DFA2-4A41-92DC-F7CF3B087491","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2628300$7BC0431D-C5A0-4AB1-8722-8F8B7F9E6FB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628300$BDD5302B-4956-48B9-B477-F14F40BBD2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628300$09909EA4-872B-440F-B06F-31D3890DE99A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41ea6003741574666dc0dfaffe13eba39724531b","datavalue":{"value":"6725120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628300$E4982AF7-04AA-44F0-9178-DF92118482A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76404801af165cb463eb6565e85db865a0fa52e","datavalue":{"value":"functional logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628300$EC82719A-45FB-4D64-8CFF-3CA67A3D23F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628300$C2A8717B-2A28-435F-A0F3-74735C882806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628300$CCE6809F-B30C-4D18-8E06-297DAC23B2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628300$039CAA09-B8E0-4773-A011-F7980A9A382B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$861BBF75-72F3-4302-86FB-E6C200BFDEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6bb24171dca517deaa71b3e01b4795aa43fbc236","datavalue":{"value":{"entity-type":"item","numeric-id":19639,"id":"Q19639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$0222423E-061F-4680-970D-3EEB1D18A6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"adecf1248d62f0ca239433953e8240b0639cd8a1","datavalue":{"value":{"entity-type":"item","numeric-id":20976,"id":"Q20976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$43805DDE-A676-475F-B025-4E753693EB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03f6b1a4333476358d2a0c0edcc9aa3d7e1fa5c8","datavalue":{"value":{"entity-type":"item","numeric-id":25602,"id":"Q25602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$D727D0BB-E6E3-420B-8909-0A088A548736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$1A75E681-BF22-43F8-99FE-1AFBA707AF8D","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":"Q2628300$A47A6732-8564-437C-A586-F6B9EE2694CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f7961b122b99ff46d8c3f1fe4c9eb621c1195b","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0399-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2628300$59F22E14-54EC-4182-ADEF-F32C90F3FF54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"877ed68a37b55f3639c5781462e72bff054c7b09","datavalue":{"value":"W2531992632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628300$88BB22F3-A7D6-4093-B401-090B65BC6DBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceca1f5265397e37b0a53c5ef68bac0f9135634d","datavalue":{"value":{"entity-type":"item","numeric-id":3079916,"id":"Q3079916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$8AF73513-F418-49F7-87FC-BCD5B6796390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$63388A0D-10A3-4D7A-A26C-3D03F25A88A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6b5fa0cf67945c112778b5815fa23b445854a","datavalue":{"value":{"entity-type":"item","numeric-id":2456574,"id":"Q2456574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$2596154C-7C44-4B8F-9CC9-BC1373602DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a81340bfef2ef6b462fa77bd5c6ea91b468835","datavalue":{"value":{"entity-type":"item","numeric-id":968524,"id":"Q968524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$659F5A5E-8B8D-4B77-BC9C-9F08CFAFBE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$484CC747-D7AF-4733-A245-C9B160F75D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$7D11A95F-5465-433C-A87F-1C27FEE50E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247970768287c87e9f32f6c332759567139e2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4916076,"id":"Q4916076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$95F5D86D-33FE-46E2-8EF5-F2813B0811B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488617a7b77a34e7047203bf2a3aae32481a3b77","datavalue":{"value":{"entity-type":"item","numeric-id":3875320,"id":"Q3875320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$5E280A3E-98E2-45B5-A401-A4408B6186DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$FA67B03E-3A26-407F-BAE6-A4B6D91212CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$DBB7C735-17B7-426E-A35E-0F8A4A99AA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628300$7F6FB7CB-499F-42E6-8136-2E3D837A6916","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb353704d600838cdd4c3f6f7fb1dd928a8bd331","datavalue":{"value":"10.1007/S00165-016-0399-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628300$10259B6D-F408-49D1-8205-092DF9304D15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b1938aa90310e5867f4237eb6a15a56fb81525","datavalue":{"value":{"entity-type":"item","numeric-id":5743586,"id":"Q5743586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce828ef71a681cbb40108170edc6367b4f64b23","datavalue":{"value":{"amount":"+0.977239727973938","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":"Q2628300$35E3A69E-B186-4341-BAA1-CA18EBE31125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e85b3b860f0bd64335101ac0621aa3c3f2b0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3768368,"id":"Q3768368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbb9444e7b4e689c04531c08dd8b571d8ef9fb4","datavalue":{"value":{"amount":"+0.7148364782333374","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":"Q2628300$3E9FAA97-2E61-4AD2-94B1-5E0CCF1FDAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfbf58819ae2fb3e7f159efab25c48dee1863a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2873806,"id":"Q2873806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4211d073916b65ee467b6912cc18d3b39433baf9","datavalue":{"value":{"amount":"+0.7125529646873474","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":"Q2628300$266DB865-81B0-44DD-90FF-36C7874F3B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2e4481174b06161ae2860ccfd73d21acab8420","datavalue":{"value":{"entity-type":"item","numeric-id":3780489,"id":"Q3780489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c71e80d593e003af29ff7b7c54c322ec80953a9","datavalue":{"value":{"amount":"+0.6946102380752563","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":"Q2628300$30E02171-A0CF-4663-8DB9-B2F8523C0673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae38510929ae82f77b228ac7593b0fcd8b67044","datavalue":{"value":{"entity-type":"item","numeric-id":4916229,"id":"Q4916229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17053dbacfab2e81a41a2a0418117173b8f692bc","datavalue":{"value":{"amount":"+0.692613422870636","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":"Q2628300$CF4DE584-EA36-41EE-A149-BBF5A7CB9CB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2628300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2628300"}}}}}