{"entities":{"Q934677":{"pageid":936525,"ns":120,"title":"Item:Q934677","lastrevid":65461128,"modified":"2026-04-12T02:45:05Z","type":"item","id":"Q934677","labels":{"en":{"language":"en","value":"A functorial framework for constraint normal logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306136"}},"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":"Q934677$43812EAB-C785-49E8-9B5A-F785C22B9DB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9a27dafb5395c89de8e016b3ea289fe941bf5c8","datavalue":{"value":{"text":"A functorial framework for constraint normal logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q934677$5FF32E87-0672-41DA-B2A6-A2520767ABD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec31fc87d8a68f42375ae827d5648a213885dfae","datavalue":{"value":"1147.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934677$DA691733-AEF3-4351-9F8B-8AAF87EF4BDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$F2A12769-9670-4F57-990A-BFABF389387A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63a99636c6ce0bf387bd2cadc0b904c7b0ae7806","datavalue":{"value":{"time":"+2008-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q934677$F467058C-4CE1-4B00-BE2F-8654AAEDC114","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934677$C4A188AE-67B7-47F6-A49A-41BF20DA41E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934677$EE34AE5C-F80E-412E-98DA-C54527014ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934677$95F62170-4950-4452-886E-A7291EB64167","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7ac6c205718cfb62aa737fe08fd35bd45492143","datavalue":{"value":"5306136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934677$90740324-9E7B-4399-86BD-2874A50C2DE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0684f9aa520c7382237709eaed31756b9abe180d","datavalue":{"value":"Constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q934677$279B09CC-4471-4DD5-875A-E9263C2682DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b7bed305fc8a8819f4fe90bf537357d46f22178","datavalue":{"value":"Constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q934677$C607B341-D754-4246-8FB7-8DCD3F679701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q934677$79AD8323-3E87-4F6E-A7A4-FB8AE0875719","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$8597ACB9-7419-43F7-912B-AEC3654ACF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$D918A1E0-F6F8-4660-B0CE-21A1EA8899CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20405a3678f6824e04657ca4272053f1a25de89","datavalue":{"value":{"entity-type":"item","numeric-id":444362,"id":"Q444362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$85A6B905-2B80-4DAB-8B50-3E7D598DFF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb520baf4553e5f2bda3f04d79076458155f33c","datavalue":{"value":{"entity-type":"item","numeric-id":444363,"id":"Q444363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$EC639F09-9E53-4B49-B85F-E11006D95E63","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":"Q934677$9D57E3F7-22C2-4D6C-95A7-C15CA7412591","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2a714e850cc11d26de1afef7586397ac6c8b684","datavalue":{"value":"https://doi.org/10.1007/s10485-008-9128-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q934677$0CEEB2F5-A6F8-4628-8A60-E5DA630152C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3ca6e884fde22cc4fe6459f26a3b14a31909843","datavalue":{"value":"W2026305352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934677$D9D7AEFB-9981-4588-B6E8-7D75F2A513F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcee6c84e9331eb414de7a5dee6a2dd582369033","datavalue":{"value":{"entity-type":"item","numeric-id":3912001,"id":"Q3912001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$2E7AD7DA-7369-4931-A096-B05C59487900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$97DBD240-FDB7-4953-B365-2F1C9A971B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e18bf50a96e97b3f28bd440dbf1fd833aa8290","datavalue":{"value":{"entity-type":"item","numeric-id":1346220,"id":"Q1346220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$0073365B-FB8B-417E-9F38-F6D1C3376AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1122bb326851b5a3f1cd4b2ba87fe55baea7e18e","datavalue":{"value":{"entity-type":"item","numeric-id":4352538,"id":"Q4352538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$B271CA5A-288C-49D0-9B20-F3D1C8CED929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$A90280D5-B27F-4198-AD36-F6130B812FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$5C1C5F88-E871-4B69-AAA9-6030095FC673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471abb3e7f4ab1ef1a7fc449604429dc98060673","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$51B25645-6CE5-4AE7-96FC-640442DA2ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$FB8BFAD8-DFEE-4327-A034-927A83F87D85","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":"Q934677$B278B6DE-440B-48AC-BC31-55950E0AD0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806a5802ff6e7a16ff577a6e279dd82f362b4269","datavalue":{"value":{"entity-type":"item","numeric-id":4700444,"id":"Q4700444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$BCAD8908-CED4-41E8-A1D2-FF8DA654BE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1febe5b40dbdb118c28fef648297aa37f6ed56b8","datavalue":{"value":{"entity-type":"item","numeric-id":5757919,"id":"Q5757919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$DD6CF90D-A9B4-4922-B60D-7AEB0B1E5634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$D1BD0756-BFA4-4686-AE0C-AE9CA906E484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7465582855b1f62b8d0c7b23b33618feb0d40e","datavalue":{"value":{"entity-type":"item","numeric-id":3988802,"id":"Q3988802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$DD52E667-C17A-4BAD-B98C-D82EFAA5C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf7913480d86f9fd8801a27bed001e38d91d767","datavalue":{"value":{"entity-type":"item","numeric-id":1891129,"id":"Q1891129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934677$AFC1E787-E3FE-4661-8F96-A97D36B3044C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b97d7d660709bab101eb583fc0ff83b7539a65d7","datavalue":{"value":"10.1007/S10485-008-9128-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934677$FE66CE6D-68AB-470E-BB2F-44B263F281EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407fa8bd04e9dc6a2da96920155f9d75021cd59c","datavalue":{"value":{"entity-type":"item","numeric-id":5757919,"id":"Q5757919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$337A5F45-270B-4349-BD89-42E9E7A5E2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105f3c873ae4242dee8dc6c86815c68fbc863b5f","datavalue":{"value":{"entity-type":"item","numeric-id":2849854,"id":"Q2849854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfb0806c9ea9c80412a7a5a7a3ee022349e311a","datavalue":{"value":{"amount":"+0.9268547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$3845CA6E-4F57-4108-9473-C60FAA26B097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55082544b062741d720227411f696be493c1d24","datavalue":{"value":{"entity-type":"item","numeric-id":2956714,"id":"Q2956714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514fab034ce3606c44a62126dfc052d80db3405c","datavalue":{"value":{"amount":"+0.9223151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$3B6A61F6-C697-46E9-9CEF-3E9057DB9969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c725aa822d617c4e77d735d7df9bfb39e6981ae3","datavalue":{"value":{"entity-type":"item","numeric-id":880985,"id":"Q880985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8120341989887b5e88bb8d98658b2dcd75290ad","datavalue":{"value":{"amount":"+0.9161558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$5B632C69-DE5D-4CDC-90A7-EC68C5B22F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f72cb1cad7167a1ebe7005859e4a6cdafb09c4","datavalue":{"value":{"entity-type":"item","numeric-id":2762632,"id":"Q2762632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e415d316e4497f0b674e964bfc7a23f170f7ed","datavalue":{"value":{"amount":"+0.9091003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$89F576C6-DDCD-4FA6-8D26-793166AB86B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f92b1d599ce6291da2637f0a69a5663332ac35a","datavalue":{"value":{"entity-type":"item","numeric-id":5309079,"id":"Q5309079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f570ac460e570bee1d6f2ba989e33fbb7a878d","datavalue":{"value":{"amount":"+0.90666306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$029A7419-338E-4655-8756-96030C052056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3bf6ce622822b59cab885b815806422a5ca2bbc","datavalue":{"value":{"entity-type":"item","numeric-id":5398055,"id":"Q5398055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d2ab4600d03d95474931e9df6c7377de988d34","datavalue":{"value":{"amount":"+0.9034778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$BC39BAEE-C705-4104-B831-6E51EB3DE560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d0cd9fa354ed49327af78d16afd2150a44e0a1","datavalue":{"value":{"entity-type":"item","numeric-id":5688900,"id":"Q5688900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc1beed7ecfda4061c5e52b2929dd328a8aeaf3","datavalue":{"value":{"amount":"+0.8983159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$892F460D-1D16-454A-9A91-F7A95B127A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ba9724e95b8afda62d40b34f6c4b60d82932ad","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd5a4c5ea11401b97bb0c13876914068442b5f9","datavalue":{"value":{"amount":"+0.8957461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$5AFFB596-0FEA-4C8A-AD16-88E206D1F5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8c242a3c1db9c8d61e261e861adb331c203279","datavalue":{"value":{"entity-type":"item","numeric-id":2873796,"id":"Q2873796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b9d6120ae357b110df2e51f000efafbf0c4420","datavalue":{"value":{"amount":"+0.8928715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q934677$6B3219A9-0468-4843-AA5C-B93638034CF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A functorial framework for constraint normal logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_functorial_framework_for_constraint_normal_logic_programming"}}}}}