{"entities":{"Q543631":{"pageid":545398,"ns":120,"title":"Item:Q543631","lastrevid":62630415,"modified":"2026-04-11T07:23:12Z","type":"item","id":"Q543631","labels":{"en":{"language":"en","value":"Loop-separable programs and their first-order definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909466"}},"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":"Q543631$CC2A2189-046B-4488-8D7A-765169BAE8AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c555748df237f2767e7145b44df7c5a34bdf10b3","datavalue":{"value":{"text":"Loop-separable programs and their first-order definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q543631$E9959B23-91A3-4242-8868-8BDAA04B6223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"804ae62a741a192d772ba0ed0ca170ee7fda9d62","datavalue":{"value":"1223.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543631$A8049A59-23AD-4A02-8F30-A27AA2D3E67C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d75d28b470ea2cbede3b521f9e73fd45aef50ac","datavalue":{"value":{"entity-type":"item","numeric-id":477554,"id":"Q477554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$71B42791-7DEB-43FA-AA89-267D528A9B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$53BE789E-13EA-41F8-8A0B-23AE6F90B87C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$70C859BA-BBA8-4FEB-AECE-272678B68FD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-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":"Q543631$606E2217-33CE-49E6-B0BA-B7FD9ECFB0F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543631$4364B8EE-402E-4596-8CC9-AAC2C702CC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543631$B7182A6B-EC5B-4310-8A75-3F0A64BACFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543631$5E177E62-33D9-4FC4-9AA0-24873A60F2E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"449b6b8d58cb17d0954ac3e599b9b0f8baa89ac4","datavalue":{"value":"5909466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543631$CA06AD58-1AC9-4E60-8CDD-F72CEEDB7AC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q543631$1082C6D1-A27D-45D0-B9D9-FAE2EB8248FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q543631$4E67CFF7-E9D8-4366-ACCE-A8CAF9D5B4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q543631$D39664B3-4F88-4122-950C-9E59FE144612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q543631$F9FABDED-0B8B-4B93-A5E7-28BA73FCC29D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$50CC0B26-AE49-45D2-BCAC-55B81B782310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$37DFB5C4-3F92-47A5-B861-80609C69BF9D","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":"Q543631$7E8B0FD4-8978-4B1D-865F-5CF5F56E1966","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d3ee7b12b4fdfa6b4d2e947ce72ce7d9f467dbd","datavalue":{"value":"https://doi.org/10.1016/j.artint.2010.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q543631$5CD50146-92A5-45A0-9237-90339356E70B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d402d28902f851efe28d8b7f000abc1693fffd3","datavalue":{"value":"W1971924127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543631$2718CCA6-0773-495B-BED8-3E96D92920C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8665470b821e435052c06603d4e72bf06af71c","datavalue":{"value":{"entity-type":"item","numeric-id":1342861,"id":"Q1342861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$4DBF4575-1919-4A0D-9A1A-40EBC3B0D228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$6113E28F-FAFD-4563-8BF2-1C8D1564775F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08b54213f465630e0d01bba82ae9521c2376dea","datavalue":{"value":{"entity-type":"item","numeric-id":941667,"id":"Q941667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$D7290A14-FA66-483C-AA73-36ADF12DDF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641bb4ce9fdb0771ad18dce06dc66550f63ce096","datavalue":{"value":{"entity-type":"item","numeric-id":2389666,"id":"Q2389666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$16BD336F-1679-4FD2-95A8-AE36304D0E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a18a97e376c807cc3666c7857f971355d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$65FFA848-3287-46FE-80C0-B27A78BA82EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c2ab04bb4ea71a8c67bc8e602ca9f25f47c978","datavalue":{"value":{"entity-type":"item","numeric-id":671655,"id":"Q671655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$503FD691-6C42-4E04-A1B2-1C5130EE2E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81629915ad3a79bb20887705a77cbf2edca48893","datavalue":{"value":{"entity-type":"item","numeric-id":5191497,"id":"Q5191497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$A2B8AF70-50D6-43A0-809F-56D28502B072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$14D57DAD-1EAF-4B13-A90D-FDEC32386E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$E2314498-F4D1-429D-A3F6-D0C851A6DA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43151032accf7b6ce02db5b446eeeab043169fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5504679,"id":"Q5504679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$D22C9605-DC51-4293-805C-C76D9E3D9C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02855c18933035a88630f09d03ce867cf8502ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3432854,"id":"Q3432854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$5F47126F-80A9-4942-A230-291EDDDF332D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba657a23f410bdd41ae1ccc661993b6dced0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4800171,"id":"Q4800171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$D9A66902-AFD5-41E7-B897-E4A311306E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448480c0423790c49add47ce74bf9cbd50149d48","datavalue":{"value":{"entity-type":"item","numeric-id":833723,"id":"Q833723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$AD49D632-4321-454D-A608-4378FB23DEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543631$0434B052-C489-4CEC-852D-A8A8610BE03B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e11988b910eb5e372daae38822c9519ec3e9c4b","datavalue":{"value":"10.1016/J.ARTINT.2010.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543631$4D143772-F545-406C-90E6-1DCDA85909C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e44f6fb418b3227ba7e52f2449ef3a5051b614","datavalue":{"value":{"entity-type":"item","numeric-id":1680677,"id":"Q1680677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb822920a576dff1041257d8a39fce9ee705096","datavalue":{"value":{"amount":"+0.7339500784873962","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":"Q543631$F7644FA0-4F75-4DD4-853A-6BA76964EFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec821a7cf5d3422e52b10bf444c6441bb456d03a","datavalue":{"value":{"entity-type":"item","numeric-id":3112629,"id":"Q3112629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4b361eb1e4973672bd60434e051e4be9e3ecb8","datavalue":{"value":{"amount":"+0.7177549600601196","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":"Q543631$9D146D2D-2845-44F8-B822-16945B512D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab624fc8ec327569273f23f436958c224da9736","datavalue":{"value":{"entity-type":"item","numeric-id":4694223,"id":"Q4694223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9933c999cc639dfb208293f957845fc4cf427190","datavalue":{"value":{"amount":"+0.7004861831665039","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":"Q543631$1E0425A6-7424-46C7-9F4C-C0ED044230AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b444d811ca67a52baba85f241953f58e3d21a3","datavalue":{"value":{"entity-type":"item","numeric-id":892233,"id":"Q892233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5373311890f3f9eaccb1d1351a28680899751e","datavalue":{"value":{"amount":"+0.7003458142280579","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":"Q543631$3702E902-CF4F-480B-8FAB-D3B657920794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaece1a008a889408362390797c1b72877bc292b","datavalue":{"value":{"entity-type":"item","numeric-id":420824,"id":"Q420824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed278e96fe7b526a5bac04dc2da2d5359d2cb2b3","datavalue":{"value":{"amount":"+0.7002573609352112","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":"Q543631$FDED283D-5005-45BF-9DC5-718EB2017D53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Loop-separable programs and their first-order definability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Loop-separable_programs_and_their_first-order_definability"}}}}}