{"entities":{"Q1936249":{"pageid":1946991,"ns":120,"title":"Item:Q1936249","lastrevid":73949970,"modified":"2026-04-14T17:50:14Z","type":"item","id":"Q1936249","labels":{"en":{"language":"en","value":"Datalog and constraint satisfaction with infinite templates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138141"}},"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":"Q1936249$8AD29EE5-2B78-480C-B78B-E3682DE782C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2e28f7b84f73aa8b5b58cc91af40dae116845ef","datavalue":{"value":{"text":"Datalog and constraint satisfaction with infinite templates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1936249$CCBD8801-7632-40DD-A592-760BA553FCF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a61109d09474c685fdc41efc0f887b8c9a20235","datavalue":{"value":"1263.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936249$89BCDA15-7F65-4143-BF0B-9FAD1CC8AD09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4755582e657d5373bc1841f6f1020d16c1f93d52","datavalue":{"value":{"entity-type":"item","numeric-id":259042,"id":"Q259042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936249$16B3D72D-9C86-4C29-8D81-F60A17905787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"718fad4f39e94f2b62c8ef1dd9aa954379d270c0","datavalue":{"value":{"entity-type":"item","numeric-id":259043,"id":"Q259043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936249$A02D5501-C5E5-45F7-BDF0-68687D53392A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936249$27CC3197-69D7-4E3E-B914-BA6F1B5D4BD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ec88787b088b88fbcbfef6eb4534917e7df1ffe","datavalue":{"value":{"time":"+2013-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1936249$E2D0B831-F14C-4191-82FD-EEB6CF2B77A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936249$453B642F-43DC-4F15-80E5-2E59935887AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936249$7DE5904B-12C9-48F4-9173-47C61AD68900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936249$488BD68E-A62F-4352-B5B6-4F5012F4BFF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c785a6f36dbb8507380c58f9a3775caa29faf4f7","datavalue":{"value":"6138141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936249$251BDA7D-668B-4B84-AEBA-EE69CBC9BCC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936249$F9FE7100-0DC6-4703-A336-378F2C472C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936249$0CB4B236-ABCA-4782-810F-D4120942F832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936249$BD62F1A4-6E5C-4E79-B219-5532EE83E697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936249$3EE4DAFC-6C71-4F9D-9CF4-D804F7E2C8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48559f229951f559021e54c95670284c2bcd8940","datavalue":{"value":"countably categorical structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936249$93B2EEBC-D8A9-479B-825C-7856B0373089","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936249$FA71C1CD-87CD-48F0-B4F3-E918FC8E320C","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":"Q1936249$77A10407-04EA-42FF-86C1-5D1617F4C7F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cfee19ed5dce52731ce1409eee3796cd262c763","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2012.05.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1936249$8592C67B-4B75-4845-9A55-D296B53536C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5ce0c27b3139ed0a5f01e5ebc7279e7f4e4b5f8","datavalue":{"value":"W2949165194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936249$2A6CF1BF-2CC2-413C-9A0E-DB14159D0573","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a328c531b61da7cd391650d3bb99ffb6703381d0","datavalue":{"value":"10.1016/J.JCSS.2012.05.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936249$D3BA3CED-534A-4C52-9FE9-409304D60FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbdbb434e400c9165a51f0263f75d8c87848cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5449838,"id":"Q5449838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54114c9e3a931c5e0ef384d298684212f5cd56fb","datavalue":{"value":{"amount":"+0.966069221496582","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":"Q1936249$02D45351-1347-447D-A05F-115308365D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fc4030e1f254b736e2fcf6aa75cde2125981cb","datavalue":{"value":{"entity-type":"item","numeric-id":5145634,"id":"Q5145634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70621f6db2e291ec2c746972c536e2384a0d924","datavalue":{"value":{"amount":"+0.8245612382888794","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":"Q1936249$4A7C1E29-BDF2-42A6-816C-5B7995A651E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf657f8d77ed15c0818166e6b394b2ddbf20db3","datavalue":{"value":{"entity-type":"item","numeric-id":5504704,"id":"Q5504704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9931c0920d5e44fab12710a6ef39b8ba0c3704","datavalue":{"value":{"amount":"+0.8097683787345886","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":"Q1936249$CC639F53-D5CB-4D3E-B836-2F606062CCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bebefec518516658e0d7780e28acd4b4fc7f61","datavalue":{"value":{"entity-type":"item","numeric-id":2826031,"id":"Q2826031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778afacb4e4d765e12929a4ed7fd3e97b3ab31fc","datavalue":{"value":{"amount":"+0.786935031414032","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":"Q1936249$8701F7B5-D97A-4980-BBFA-BE31681305B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e1f4074cb78357a2b911639a33060ae8050ef1","datavalue":{"value":{"entity-type":"item","numeric-id":5310636,"id":"Q5310636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adfa4255008b616ce66f60e4fcd659e7339115fd","datavalue":{"value":{"amount":"+0.7842216491699219","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":"Q1936249$72EB4294-A28F-417F-A3D9-C9A5D121AE8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Datalog and constraint satisfaction with infinite templates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Datalog_and_constraint_satisfaction_with_infinite_templates"}}}}}