{"entities":{"Q2958540":{"pageid":2969259,"ns":120,"title":"Item:Q2958540","lastrevid":52734017,"modified":"2026-01-23T09:31:06Z","type":"item","id":"Q2958540","labels":{"en":{"language":"en","value":"Two-variable logic on 2-dimensional structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680154"}},"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":"Q2958540$8A062B6F-7E85-45EF-9DF4-D36E56E50FE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d39e6ab00732de00c452f7503852589fe7da4e5e","datavalue":{"value":"1356.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958540$AA082AF5-398B-4007-9348-A8384974950C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afd7122421ec9353e478ef8380c882d14382b54","datavalue":{"value":{"entity-type":"item","numeric-id":504988,"id":"Q504988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958540$E41622D6-6DA7-428F-A62B-9C1E17D00E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f50344d6d2402c082431ec7cf80747ef3aecdea4","datavalue":{"value":{"entity-type":"item","numeric-id":509760,"id":"Q509760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958540$D3DF2AF6-14BD-4E0E-922E-59259F947A1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958540$7259298D-C967-4385-8A15-04C3D8D763B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958540$AFDF84C1-9CDE-468E-AF21-3BA56A90F58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958540$EF2838CE-9D00-4DBE-BC33-7C34B07328F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958540$4D91FD88-C476-4555-A342-036DB3D2AD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958540$0FA6181C-49F1-48CB-B30F-0819C701E1DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baba638c3382fafda64614f1287c9ee1832cbb1c","datavalue":{"value":"6680154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958540$F6EA4590-A517-43F4-AC34-A678C96E4234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b9c2144583be4948b7630d611ca7d2c263ccff8","datavalue":{"value":"FO\\(^2\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958540$632A6B9A-AD8F-44B1-89A5-D7248839EF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aca14de8ab07e636788ee3f779a206e4d81d434","datavalue":{"value":"data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958540$409540D2-B13D-44D2-AB52-9F65DAD2B883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958540$680BDAD6-04EF-4141-83CD-F90D8A11D20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958540$648BE987-CBCA-42C1-9CC5-55AA52822E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958540$724CCCD5-2DD6-47E2-B197-A251EB428F79","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":"Q2958540$6EF37EAA-19CB-4CED-A219-82C505FBA94A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4e1604bd3da83aadef1728d7d0f2cea5a8443fe","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/csl/csl2013.html#ManuelZ13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958540$B97125CD-4755-4437-85BE-2C064267FD36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1435d12b281d309a5d9c3faf615af54c81bc7def","datavalue":{"value":"W2240751524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958540$1137BA90-03C1-4632-9908-F1EE314032FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b60c97f21f55271983273068b30c2a25afce0ce5","datavalue":{"value":{"text":"Two-Variable Logic on 2-Dimensional Structures.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958540$F4173266-9B05-4572-A8FC-8F767C0CC4B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df7728d00163c30fae6cb99644a93197fbe10fea","datavalue":{"value":"10.4230/LIPICS.CSL.2013.484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958540$325CBAA7-8B8D-4B4A-87DD-42BD7A348BA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389c0ea34ba4bf23842571849fba71019b311171","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fdf71c1e14dd73aa114ebfa657add51503610e","datavalue":{"value":{"amount":"+0.8738934397697449","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":"Q2958540$1A7F5FDD-A0F1-4023-A1D9-07BD0BBECA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd697792be6d1f7b2f8875ed5175a04ec126b6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5891508,"id":"Q5891508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ffe3ae92ac5433cf0be84f8ec564fe1aad4c8ed","datavalue":{"value":{"amount":"+0.8645338416099548","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":"Q2958540$3347BDCC-2810-44BE-8B4E-7FC864781A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309b07b5b416ab2fedfbe8171862759e16a28fc","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9933466ac538ea8ca0b96478271679bf0cb871c","datavalue":{"value":{"amount":"+0.8623346090316772","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":"Q2958540$A9660D14-4D48-46C6-8ED1-7DD2C3D4AD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ad0d88a7bbd1617877fc149dfd879abea770f5","datavalue":{"value":{"entity-type":"item","numeric-id":782576,"id":"Q782576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82d4f2aeb2fd525d190f8a4fc3d4a746b9ab3f7","datavalue":{"value":{"amount":"+0.826420783996582","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":"Q2958540$C377268E-1811-41C7-8185-7FC316DA4868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e65a427c28b570dcfc1dfce65a15bea7b4410ab","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6a00000d0f457938391ddf1a8c34fa880f88e0","datavalue":{"value":{"amount":"+0.8223812580108643","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":"Q2958540$9AECE219-0828-4652-9780-6719F932D439","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958540"}}}}}