{"entities":{"Q3196341":{"pageid":3207049,"ns":120,"title":"Item:Q3196341","lastrevid":86642453,"modified":"2026-06-04T03:42:37Z","type":"item","id":"Q3196341","labels":{"en":{"language":"en","value":"Logics with rigidly guarded data tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501857"}},"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":"Q3196341$D4F79232-B961-4F63-A042-AE5AAB5E3B03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9160ae177fd247baafedc1c08246ea39b952842","datavalue":{"value":{"text":"Logics with rigidly guarded data tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196341$8A1C4315-4132-411D-876D-F6462496ADEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c4aac68435df7fee7a8d491a7e869225018d84f","datavalue":{"value":"1355.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196341$A241727A-E69A-4584-838D-C8730BF5E481","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"981dfae75eead24a0dda734d7bc1da343ec9a4e6","datavalue":{"value":"10.2168/LMCS-11(3:10)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196341$4A884B68-0B2D-4382-BC7F-D197E6E0866E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d5c4492b308512708deea353b9e0181d35ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":290902,"id":"Q290902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196341$48676767-D943-47B0-8BE5-6D5153FBBE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e109263138dc52ad199bd80c0b2f02a0c029b72c","datavalue":{"value":{"entity-type":"item","numeric-id":3088043,"id":"Q3088043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196341$24AD3459-5893-4B92-8DA0-D31EC2B28499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40eed09c4904adadbb81f103a0792acf67a3dd6d","datavalue":{"value":{"entity-type":"item","numeric-id":269343,"id":"Q269343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196341$6110307D-B8CD-40AD-A893-58AB380B5BC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196341$72157BE1-EC40-4568-B3F1-2C9B7B4464F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196341$5C23C45B-A324-4B7B-AE62-89D659D006E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dc0ab36578a76521f7470db7f9287b9b384bb8a","datavalue":{"value":"https://arxiv.org/abs/1410.2022","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196341$C706115D-C6F7-4AC2-9FAE-B322F0027CDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196341$ACAD8A15-4981-46D2-B64B-375A75F24FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196341$ABD76719-A40F-4CE8-8C10-59ED5DED588B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196341$6E08AB5D-5B77-4CFC-9B10-E9792285A2EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b98495fa1111d58f7b0f893223c96612de7e6e2e","datavalue":{"value":"6501857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196341$B3DF2349-B7F6-4897-9A7C-128D6F3B94A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e57e10dbdda311ff1547a9403eff1427aa38a0a","datavalue":{"value":"data languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196341$5D363981-6D6F-4A67-8BC0-EEB43BA2081F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43435233a99afc09eb7d9805d50bdd9fc0a89a","datavalue":{"value":"orbit-finite data monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196341$A0D0AC7B-50E2-41BE-AA6B-488CC7015F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10e5941dbd0ec58a5365b41e1dd7f17aff139941","datavalue":{"value":"rigidly guarded MSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196341$B7C351AE-2B70-4A7C-B066-9CC25386FCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9009da701b1ba6ab9acf68c3e56f9ff62667cc5","datavalue":{"value":"FO-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196341$81F23415-F961-4C5F-8BD0-4066FF231F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca534cdf1e01603c806b341d11d1c0bd848acea2","datavalue":{"value":"finite memory automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196341$73EE27DD-4781-4423-97FC-D0FD8A370CD8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196341$05CB1E55-BEF1-4FD5-A7F1-C9D8607CB93A","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":"Q3196341$1E0A0A28-E031-4A2E-A5A3-EF23B6F92A50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af90ed6759bb3a1aecb88dc7afa9f05e3bd79cef","datavalue":{"value":{"entity-type":"item","numeric-id":3088044,"id":"Q3088044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a6ce233b3397913b59cc35d3f2aea4bf284af9","datavalue":{"value":{"amount":"+0.950378715991974","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":"Q3196341$A3F4541E-775D-4966-B468-9C7081C400E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdff55ec96994a70666206883190d89464571b45","datavalue":{"value":{"entity-type":"item","numeric-id":3113676,"id":"Q3113676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56b5509ea9835ec7e3ceffd3e44764ae7071cf9","datavalue":{"value":{"amount":"+0.7878348231315613","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":"Q3196341$39EA7C65-F8F5-4498-A81A-51D55CD37469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18c65ee69e969bc8571bb106b69292f4f89a031","datavalue":{"value":{"entity-type":"item","numeric-id":372971,"id":"Q372971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236bfdd917bcf97440de7770a01dc76e2c491b6b","datavalue":{"value":{"amount":"+0.7758612036705017","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":"Q3196341$81F4DCC9-9A32-4842-8BF1-7F55E24DDC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdab398ed468075b69ed124f85fdb68cdc1fe6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3586037,"id":"Q3586037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34dabb6fc6e23cd30e8e7638a7f2e5ade87d9127","datavalue":{"value":{"amount":"+0.7649834156036377","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":"Q3196341$77ABDFF5-A801-4AF6-B7D4-1D974126769C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b3bc07256bf7d6bc5f3ebbf35f7a2bf470b65a3","datavalue":{"value":{"entity-type":"item","numeric-id":5278313,"id":"Q5278313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc58c1942af4e478c89d8f7b183dffc0bfc8a6a","datavalue":{"value":{"amount":"+0.7572847604751587","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":"Q3196341$934F7FC7-4C6D-42D3-9713-EFA156E6C8E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics with rigidly guarded data tests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_with_rigidly_guarded_data_tests"}}}}}