{"entities":{"Q914397":{"pageid":916245,"ns":120,"title":"Item:Q914397","lastrevid":42760318,"modified":"2025-07-10T12:08:05Z","type":"item","id":"Q914397","labels":{"en":{"language":"en","value":"SnS can be modally characterized"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4149578"}},"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":"Q914397$3B2E6B0B-EA44-4DE0-907F-26C5500C5D2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"972481b9391afb178e16514be36c3afa0c56a1be","datavalue":{"value":{"text":"SnS can be modally characterized","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914397$500922A9-1610-42FD-B318-D59426E3EC73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6117f951d128d25cb60006bfb71e66f890f8fac9","datavalue":{"value":"0701.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914397$9A33D64E-639E-4D95-BAF5-DF2D18C20318","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"578e25b5f3c51fc8a4383dad6e960d1ad389ad21","datavalue":{"value":"10.1016/0304-3975(90)90140-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914397$65C50FAD-56B6-40F4-8CA4-896FCD0004B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$71AFA0A4-2052-4DEA-937B-87D0F2CE7D98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$B0D7396F-95B5-4E6A-9323-1A33BDC652B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q914397$0496E858-C801-46ED-A4B6-34B0AB6F0CCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914397$373C3286-BDA8-4493-B899-0D0F0DBF0499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914397$0EA42F8B-4981-405C-93AF-F07B13F0B596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914397$B1E7C577-B567-4466-989D-6CAB6816C70D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bb2a86a6fb7dbbcef87726b0163fc759e55b798","datavalue":{"value":"4149578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914397$052721EF-94C8-45DB-8C9A-39F64DC3E67D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q914397$AE13AE86-C1EA-48C0-AF2D-5B15C2F0BB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48929a7bbe6b620e55a68558b333b0808fc8329","datavalue":{"value":"transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q914397$1D774668-D44F-4E76-A6BE-3E88D31DE864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09651a77c009a02a40c034b009d4e5b1c6d29f05","datavalue":{"value":"second-order monadic theory of n successors","type":"string"},"datatype":"string"},"type":"statement","id":"Q914397$1DFEB806-13D1-4B56-84F4-46F7A74CBB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a7eba6ee66f0ad7a7bc99f6dfc5991564b1290","datavalue":{"value":"Rabin's tree theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q914397$E5D62DC5-0B50-4FFF-93FF-6D9C1A5162C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q914397$7DA7FD62-39DD-490E-9DBB-C2A37E324B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q914397$D240F2C0-72AA-4EBF-AAE2-6D585C3CF4E2","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":"Q914397$828A0513-CB2E-42BC-9654-FA447FAFB3BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3cb796d90b511626bb23f443f8abad64aa2ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1090324,"id":"Q1090324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$BF5F7800-44E5-4432-B8BD-13E86875621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$F8C9B4F0-9B8B-4066-A4D3-79FD93DCFA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72429febf3d2eef9c3723165f7c6427cfa1f6627","datavalue":{"value":{"entity-type":"item","numeric-id":3028984,"id":"Q3028984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$80A544FC-E95F-41E5-95E7-C8FE4CBE5D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d63fad87ee9ef86f723aa7605967cbf5545e39","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$5602716A-F888-41D5-BBA9-320175755B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$245B5CC3-A1AE-4F40-97B0-ED7B4CA4AE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$8E470C8E-73C9-44FF-A3EE-20E1E8A45DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$1712AD5A-5DEF-4600-8125-57EE9F7FB45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267ae0212004177089322e010233b5ddee60b435","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$57A5E361-5D09-4FB0-A4DB-DEC8013413E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914397$5BED0BA5-C907-4A45-8818-CAC9292082B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:914397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:914397"}}}}}