{"entities":{"Q2946703":{"pageid":2957423,"ns":120,"title":"Item:Q2946703","lastrevid":58062777,"modified":"2026-04-03T16:02:46Z","type":"item","id":"Q2946703","labels":{"en":{"language":"en","value":"Constraint propagation for first-order logic and inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483205"}},"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":"Q2946703$544B9F48-D6CD-415E-8924-D052F2771885","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"199805f61682c0bd65a19389e5e5d74c9cc4dea1","datavalue":{"value":{"text":"Constraint Propagation for First-Order Logic and Inductive Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946703$1E7F8FF4-68F6-4BD2-BBEF-DE3F2E1894B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"151f864102abd9eb5a552f55cc2a7e571d65e677","datavalue":{"value":"1353.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946703$CCB3AF6A-3CBE-4147-874D-FF37E4635BFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"915b313b97fb72f97d6c77ba607a8987783555fe","datavalue":{"value":"10.1145/2499937.2499938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946703$220C9677-750E-4A8B-B914-74730155F455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80b140b224e771dcc4dfcbebd6e6f91f547ab29f","datavalue":{"value":{"entity-type":"item","numeric-id":2946702,"id":"Q2946702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946703$E0A37152-B4AF-4D90-B2BC-8C368234BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946703$FBEAAEA8-A5DE-48B6-AB76-1C602E581F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946703$8E5B00C4-2C75-4C9C-BF2D-198C42CA1391","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946703$859B1391-0A87-4A7B-B091-DE96D9C9927A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946703$82FB6C32-43C1-4677-9371-460DE1ECB103","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34c7bbcb075c014990c7ea8919d3b7e7d0b84041","datavalue":{"value":"https://arxiv.org/abs/1008.2121","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946703$15F54BE6-6796-49A2-912F-00437861A12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a4c6c79783dffb54d1de4f079a8d188f168042a","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/369791","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946703$AE44EE8A-C2B8-410F-9BE8-EC8745922554","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946703$37B02E36-CB34-4C1F-B2ED-6EB36BF830E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946703$1C72EC5F-6181-432F-A82D-B5D923F8B2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946703$5B463F98-26D5-421E-AF11-212E9240891A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946703$1179CBA4-2F4B-4057-9C3F-6CC7E164D8CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b8f3104136f5d01ae577178761ae064aba3013d","datavalue":{"value":"6483205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946703$129B5FB8-A0A3-4C80-9E8B-B48430E2D97D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed2bd5c1c1854c2af97502b62623aa3585d1f33","datavalue":{"value":"aggregates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946703$9F6B0138-A01C-436E-BDE5-480BCE28BB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05a7831e531e75b31a4af9070b239d7abd43620","datavalue":{"value":"constraint propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946703$314F95A1-0377-477A-89DA-2ABD4F80CD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946703$45233F70-BE34-4DD2-B1D3-0CD0E8C51B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946703$E412FCF3-808B-4B0E-B3D7-5B0CBAAF641B","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":"Q2946703$7A07E4DB-C3C3-47D4-836C-EF079C2CADD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08068e305c83538c88aa3814c32d0d3a6f155545","datavalue":{"value":"W2066021026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946703$C6DEB8BF-9BEA-45F0-A71D-CCBD31212D52","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d7df7521c7c3ba2d380ffabe8fe87b45c09490f6","datavalue":{"value":"Q130857638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946703$BB1BA3FC-6764-4051-AE3C-A706B5ADABD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f703225ae1a37a5b43aeb29fa6b29542f729ef3","datavalue":{"value":{"entity-type":"item","numeric-id":4473051,"id":"Q4473051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b70a842e0138a7ac9a72d39bca8eaad5c3a701","datavalue":{"value":{"amount":"+0.8255577087402344","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":"Q2946703$45EEB146-83B8-478F-A4FC-ACB3FC07F14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4187f5cb2ed23ee7b7b22643a2cfc20c43e36847","datavalue":{"value":{"entity-type":"item","numeric-id":5289312,"id":"Q5289312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d8b9871b68aeb64f7168bfefe295c2670a1a7a","datavalue":{"value":{"amount":"+0.80487459897995","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":"Q2946703$5E44B404-7530-4D04-B3E1-960F9F907C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f220d8ee27cd79f8fe803b9c9cafc6e6ec3997e4","datavalue":{"value":{"entity-type":"item","numeric-id":5449595,"id":"Q5449595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041fd1004067cc2e782083dddb24d15f7a53f0e4","datavalue":{"value":{"amount":"+0.799113929271698","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":"Q2946703$00E29D15-9966-403C-AE4C-833C7A6B0274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb196213f5a71abfac34ca1f099a856ab9b2a70","datavalue":{"value":{"entity-type":"item","numeric-id":4591401,"id":"Q4591401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141d5b2eabfcc1c50bf111e1c2cb77be7180e581","datavalue":{"value":{"amount":"+0.7819063663482666","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":"Q2946703$B0A4BAE1-400D-4F39-9B39-760FEEB1535A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6756037d59ec632537cb97fe795d9f7f8c68c2fc","datavalue":{"value":{"entity-type":"item","numeric-id":4475670,"id":"Q4475670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7060f845fa0743403b04b6224ee64cd20b1176e9","datavalue":{"value":{"amount":"+0.7780012488365173","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":"Q2946703$4AD6C043-49F5-4A17-A739-AD8A3E25D27A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946703"}}}}}