{"entities":{"Q6597967":{"pageid":14209124,"ns":120,"title":"Item:Q6597967","lastrevid":56849070,"modified":"2026-03-23T19:23:03Z","type":"item","id":"Q6597967","labels":{"en":{"language":"en","value":"On two-variable guarded fragment logic with expressive local Presburger constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7906378"}},"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":"Q6597967$5706D8D0-014A-4823-A8A0-8B98D4C464A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c191275283ad2fd1093f2faa3c408c02b79280ab","datavalue":{"value":{"text":"On two-variable guarded fragment logic with expressive local Presburger constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6597967$5F9C0713-BEFB-4918-BD06-B9C2E8043464","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4ef753d71c4d3696ff1441a42cf110d8650997","datavalue":{"value":{"entity-type":"item","numeric-id":6597966,"id":"Q6597966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$36EEBC64-E41C-458A-8C6D-78AA70FCFA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cda1a609499962c000f6fa846f1384b1eeadb950","datavalue":{"value":{"entity-type":"item","numeric-id":1959426,"id":"Q1959426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$58244AE7-B57E-4B50-8EEB-18B1BCF6300C","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":"Q6597967$F7E84BBD-8D30-408B-89E5-F6C055E80C4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"462b27fce30c179dbb6a00021c60444254cd83af","datavalue":{"value":{"time":"+2024-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6597967$25321576-4884-4A20-ACD6-C7B317BE222A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597967$F4AE7026-8EF1-450E-80F1-A32109EFBFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597967$0166979A-C778-45E7-9B62-194D755F7A41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1095fc1980051b2387cb55deb0e5acebd0f64088","datavalue":{"value":"7906378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597967$2E9882E0-1AFF-4281-B39C-CC05D1E9418D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a43879637b925fdc68bcca18e4647044fdcd6df","datavalue":{"value":"two-variable guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597967$25BBDD68-4C58-406A-8C63-260639D81DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958811e5bf16486ebedcdd2cb76bd21a2d851ab3","datavalue":{"value":"local counting constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597967$74923FAB-C730-490A-98B7-A740410CDBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597967$FF27CC52-8D2F-46FB-9D4F-77F3DA6FD193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a76df637881444233d0a303c167dcd5576b826e6","datavalue":{"value":"EXP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q6597967$EA01E5D0-38A4-4D24-A82B-D9C9E3E7DABE","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":"Q6597967$8BCDD639-C0DE-458A-BEC2-3AA4A802D51A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$6177908F-964A-4E10-9257-FD8499A22642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$579DD5F8-C2B9-4C2B-BD50-4A045F569434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e6ddd1b76a32b174521fb23baada37fc067560d","datavalue":{"value":{"entity-type":"item","numeric-id":2007734,"id":"Q2007734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$292C4EA8-5F70-420B-9A64-9483278034D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a73965270279c8a23a3d7d4554e74fa8a0ac26","datavalue":{"value":{"entity-type":"item","numeric-id":6160751,"id":"Q6160751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$D8E262A2-D32C-46C3-A505-6FDA83292F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6b44534452799ea8958ee898dc513ef598501","datavalue":{"value":{"entity-type":"item","numeric-id":2974769,"id":"Q2974769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$C8B59F4F-0A34-4100-949E-7616581D833C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c468ae094785548dcde75a078562b6b560214a","datavalue":{"value":{"entity-type":"item","numeric-id":6187052,"id":"Q6187052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$9DC206A3-EBF4-471C-A53E-62B3327A31A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$794A3C9A-10CA-4244-A727-D5BBE81A1A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95476e9979912a43de064ff1992e45b3ccac7ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2638188,"id":"Q2638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$828312E7-2928-49B0-8948-B13EFAC4A27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5262823b0f5f002719e39075b00d039bff7e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2480055,"id":"Q2480055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$FEF17F3C-33E2-46B5-BB84-93EA7F9F109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$CD4BDAB2-4904-4448-A378-4A8A17B08B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$89CD89F0-29EC-45F2-BFF0-6AA7CDA56FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9edfb079fa39158f629aa59c382bdc3b0fa532d","datavalue":{"value":{"entity-type":"item","numeric-id":3984397,"id":"Q3984397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$715629AB-85CF-4FA6-A213-A2B931188695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9643bb7cd4071043c3a6a88bc219e4ec88a82a36","datavalue":{"value":{"entity-type":"item","numeric-id":5533179,"id":"Q5533179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$2DDE8B78-C90A-4419-A04B-682260194D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d1d7e2fb2503f881bcd0b1b315d789d22ec2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5258916,"id":"Q5258916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$E749AFE7-84B3-41AE-B70A-0352D80B6E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$59B59535-D425-4E2D-8086-4D1FA39C785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7945ce806c2cba4f76cc008a86dd1ed8ca86835","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$D321A297-ED59-481E-B9FD-7C11BF617A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eb569b3d29a4b85e8e04fd194e19bee13c5c5a","datavalue":{"value":{"entity-type":"item","numeric-id":3437261,"id":"Q3437261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$36298C3C-1283-4C66-9B84-432C96E836B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b385791b5f19cf0803fb8b62a394b0fef7fade8","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$A256024A-17B5-4CCB-A7F8-7B651635577D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e4cc5d72666e96827fe25628b79f0a73c48862f","datavalue":{"value":"10.46298/LMCS-20(3:16)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6597967$449ABC55-2F49-41BE-A112-88020150C572","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6597967$BE863E07-731D-4BFF-A9FE-0D3647C2F3D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6597967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6597967"}}}}}