{"entities":{"Q1604801":{"pageid":1615541,"ns":120,"title":"Item:Q1604801","lastrevid":47942275,"modified":"2026-01-03T03:39:47Z","type":"item","id":"Q1604801","labels":{"en":{"language":"en","value":"Interpolation and definability in guarded fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1764817"}},"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":"Q1604801$B05A90CF-EF12-4E4D-A455-A5D6C35B8087","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"388173cebcb7aaae574b5f0e869ab7a18ca0dbbc","datavalue":{"value":{"text":"Interpolation and definability in guarded fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1604801$2A76753A-F539-4D1F-A739-DADF2A7DE867","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c2a4de810f2e9a5914cb0d477676e8c1ecb7d19","datavalue":{"value":"0998.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604801$7A800A8C-257F-4C10-9AA6-4EA825FF339A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81536dca0f47d2e51fec36a083aca9292c10c6d0","datavalue":{"value":"10.1023/A:1015154431342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604801$8DC5F598-D3A2-4C5B-B571-DF58CC29A948","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee7adb59c3c142cb62d543b753fb53452790b177","datavalue":{"value":{"entity-type":"item","numeric-id":1576380,"id":"Q1576380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604801$385086C1-2E6E-4A5A-A687-AF3511CA2EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604801$EA3DBA93-3E91-411B-A122-0354A52543CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604801$625F589D-6A39-48E3-B564-23355203C873","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90e1b061609a6c6333868837d9d52a69877236e9","datavalue":{"value":{"time":"+2002-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1604801$D8E7A078-8ADC-4E38-B1CC-1CD5021ADA6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604801$6950A5FD-3BE7-44D4-9E95-7D41B0E04A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604801$9004690F-FDD2-416F-80AD-B67C4740DF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604801$99DE0312-90ED-48D0-92E3-E067739D9095","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2630135ea0b84bd86b2521367ae540e623339c22","datavalue":{"value":"1764817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604801$2FB4AE00-2AB2-4DED-BB14-42DD7320BC52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604801$F6DB348D-0C39-421D-82E7-F7047CE20F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d11af1f7bbea5725369d95bdd0a247f16ef4120","datavalue":{"value":"relativized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604801$CEF852DE-315A-4869-A79E-9462BD08988D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604801$4B838977-0CBC-4F75-A9F0-C2428429F23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604801$1A30CFB5-D346-432E-8B10-90EF0DE63B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"585ab861b229ccd5ba6ce893623d4a52dfb5ae72","datavalue":{"value":"fragment of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604801$28F57D41-A65C-408A-8564-2EC9EA1F973B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6334c6f4fada4766a0d513df4ca31d4eaba73462","datavalue":{"value":"packed fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604801$17530450-6807-4EEA-A9CA-9817012D71F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604801$BEDE957A-BA38-42DF-83FA-FE7C930B64C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15d22ca35d7a485dd9a481371fefd55160c878e1","datavalue":{"value":"Beth definability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604801$E554730E-222E-40D7-B933-F9A5E95294A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfcfa654c5489cad86e0c9a7119e5456f3d49052","datavalue":{"value":"finite-variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604801$E0F38B7F-9582-40B5-97BA-7A1C7634DC62","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":"Q1604801$A3A86BD6-F0C5-4E36-9310-97AE0CAD3915","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bbaf5a2a9abf44822302c2b9d158b095df73404","datavalue":{"value":"https://doi.org/10.1023/a:1015154431342","type":"string"},"datatype":"url"},"type":"statement","id":"Q1604801$93B98727-1BC9-4670-A330-3A127EE55706","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74295fafde3b289d1826d8d180f3d77b54541ba5","datavalue":{"value":"W1600958215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604801$C217EB72-0E35-4B9B-9067-D1BE814598A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d195426ef2a6b2eb08bacd8d80f6e8fd1dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4938431,"id":"Q4938431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20de88b6a7e8203948d745e40f01ba41dc2a92a3","datavalue":{"value":{"amount":"+0.9340202808380128","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":"Q1604801$211A65F4-1302-4D31-990A-6D8D3BC7BD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3701d79943fc0924f0b20184354686f01463779","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a2549591478e79050f2359f248a5d540843cc3","datavalue":{"value":{"amount":"+0.934020221233368","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":"Q1604801$4D3C8338-6885-4454-AC42-412C7CBFDCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd32e53186f84257f24a104c32c262f36c543860","datavalue":{"value":{"entity-type":"item","numeric-id":4635596,"id":"Q4635596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f577d2c63c15596d60fd3da28646dde90429ef","datavalue":{"value":{"amount":"+0.8259795904159546","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":"Q1604801$260BDD22-7FC9-4846-8D67-549BDE02FCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2bb8a32309e58a32c14007514f2c1539a356ea","datavalue":{"value":{"entity-type":"item","numeric-id":5277909,"id":"Q5277909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0d5010b225a26ac1d47168a691acb53a4de6eb","datavalue":{"value":{"amount":"+0.8254234790802002","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":"Q1604801$032C8524-3CE9-4D56-8C59-9B19E35B5B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b81fcc060ab591cefc903c4006d2d2436717f0","datavalue":{"value":{"entity-type":"item","numeric-id":481100,"id":"Q481100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33086e09eb99d97a7345b8955bdb760f3833cc53","datavalue":{"value":{"amount":"+0.8235247731208801","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":"Q1604801$11397776-5033-423D-ADC3-0D25989838F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1604801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1604801"}}}}}