{"entities":{"Q3087447":{"pageid":3098162,"ns":120,"title":"Item:Q3087447","lastrevid":58110915,"modified":"2026-04-03T20:37:31Z","type":"item","id":"Q3087447","labels":{"en":{"language":"en","value":"(Co-)inductive semantics for constraint handling rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939285"}},"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":"Q3087447$09B51CF8-8447-4872-9DCC-BF8DF5A252B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6353a815b70c2d9c43c33946814ae9b35475dc1a","datavalue":{"value":{"text":"(Co-)Inductive semantics for Constraint Handling Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087447$3028D0D6-148E-4599-8B89-3A8A779F0BAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7c0fa4b5b902d347ada39f1d7fa1566b3919490","datavalue":{"value":"1218.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087447$69F04379-44F7-4547-A279-D5C6291EE8FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f83845fdc94a7491182a76808358e33d199e1560","datavalue":{"value":"10.1017/S1471068411000196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087447$4E7C34E1-23AF-41DC-8843-4632A24C85D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1b6a222d3c6d69efaf9289c10bdee6ce5d7607","datavalue":{"value":{"entity-type":"item","numeric-id":2798272,"id":"Q2798272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087447$84C0BC52-7E2B-4C26-BCFD-6D7B9B12DD11","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":"Q3087447$6C515FC4-ACFF-4C28-95D9-AA63A013E9E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087447$849D9F7E-39F3-459C-B441-E25CCEDA625A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dcd1c285865cd8c91a2538ae1596f3040930661","datavalue":{"value":"https://arxiv.org/abs/1108.0330","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087447$6A07460F-A6F3-441F-91F3-D434E7BE41C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087447$80A16F6F-A7E1-4790-922E-244E9A44F2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087447$C41A97F3-4297-4FE6-9231-0108E5BB2F29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e35148cfc73c5d64a2aa20753b33f1dbcecf26f","datavalue":{"value":"5939285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087447$2BA5211D-1792-4821-A00D-B4EFCB0CCE88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"357989c9c0f905252ef29b48093a903f04012c81","datavalue":{"value":"CHR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087447$12636730-ED6F-40D5-9AB4-384A6C3F6DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087447$8F60739D-F970-423E-981A-726D13D2A6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1199a36d8dd30e90713192bb02fdd1473fb89b19","datavalue":{"value":"fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087447$4756BEAB-C749-4C5B-8BCA-90CB2B5AADA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087447$63D89B3E-BB2F-4899-B410-968C8C6B234F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6574ba000ce8db29b745cf358c2c6b043f99a15a","datavalue":{"value":"persistent constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087447$FD5C368E-E029-4E81-87F0-DECC94E3F95A","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":"Q3087447$D840C7F6-8277-4121-AE5E-7F1975DEF24E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087447$8744604F-4945-4DF2-8301-C9C473F1A67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f368db41c7dffee1d42b1bb0e5d33764ff4653f","datavalue":{"value":{"entity-type":"item","numeric-id":2946569,"id":"Q2946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087447$91654C12-A812-4D99-948A-84434D1420B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087447$92CDA065-E603-4847-ADB7-C1E704431BE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3277f8e676769dccdd819fab99cf7b83c7735063","datavalue":{"value":"W3099263915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087447$CB0BDAD2-B561-4628-A7F1-048B05DE6A12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e935fae483cdd979bbe57424dafd09d67bc3bff5","datavalue":{"value":{"entity-type":"item","numeric-id":2946569,"id":"Q2946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f524440b78f7e40fcdbb0a4aefe0efc00f4649","datavalue":{"value":{"amount":"+0.8192828297615051","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":"Q3087447$86965994-F41C-498F-8F6D-9969AF6694EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a851bb9ff333690abcdd3ce6701758b4ade35b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3616886,"id":"Q3616886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ea5ac122dfb6e8b9e6db7178290dea3f55d9fc","datavalue":{"value":{"amount":"+0.807769238948822","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":"Q3087447$78AD201F-7C4A-4ED9-A4A3-DFD391ACE717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff9cc259e417832dc0ec5f04cdadaa32a2491b4","datavalue":{"value":{"entity-type":"item","numeric-id":3524170,"id":"Q3524170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bcbeba03ce45a1523dbb061590728efe6635b3a","datavalue":{"value":{"amount":"+0.7936870455741882","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":"Q3087447$40EC3325-1578-4176-9410-42F493CC60A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791d2487bcdc7e6c2d3810e360e6ca63785efdcf","datavalue":{"value":{"entity-type":"item","numeric-id":5425409,"id":"Q5425409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937e3105cd148755ff8560ce191e7c6b4d057840","datavalue":{"value":{"amount":"+0.7724751234054565","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":"Q3087447$07C837AD-CE56-4946-95AC-426F6FBA8CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ea50ed238d6385ede59d152c882c0dd3c710dc","datavalue":{"value":{"entity-type":"item","numeric-id":2900266,"id":"Q2900266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e971f9c4c8a8d1b4a6ec45ee4febe115a47a4a87","datavalue":{"value":{"amount":"+0.7705069184303284","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":"Q3087447$913E0A7C-2F80-489F-95AF-1EDF33E94587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087447"}}}}}