{"entities":{"Q6967341":{"pageid":21307110,"ns":120,"title":"Item:Q6967341","lastrevid":84054284,"modified":"2026-05-08T22:52:28Z","type":"item","id":"Q6967341","labels":{"en":{"language":"en","value":"Separability and non-determinizability of WSTS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056625"}},"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":"Q6967341$8F4AE0A3-DEA6-41AB-ACF9-4750E641F254","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb42dc8e2a40d7395b0b763f0a74b3e65b2454c8","datavalue":{"value":{"text":"Separability and non-determinizability of WSTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967341$2D509AF2-52D1-4726-AEFF-39415E41F9E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf6ffe076fd7587ff5e15442048bc9d4bb4bc84b","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967341$F69B337B-56F8-4287-9918-79E6DBD86A48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f4c67cc8d3f5728656a7a225a5158541b05a17","datavalue":{"value":{"entity-type":"item","numeric-id":6875056,"id":"Q6875056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$AE751529-5C2E-41DC-99B5-9EE35F3D6D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af703d32295462ed225bee2f999d6e39ffca1914","datavalue":{"value":{"entity-type":"item","numeric-id":939168,"id":"Q939168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$83A912A7-2EE6-48F7-BA4D-2D9E02EDC90D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967341$261A6F54-FA5B-4D96-8EF4-FB6DEB9B1F0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967341$C8ED47C2-7145-4C28-8410-2F59A43FECC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c47e88a20cc99d54184c021bc247b25d895ee490","datavalue":{"value":"8056625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967341$9E18285A-B4BB-4FFD-873A-BCA93779CA9C","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":"Q6967341$57F6F649-845A-4072-8F9C-44F0A84E22B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfb0dbfb539901ed4a012676dbd257e128badf50","datavalue":{"value":"WSTS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967341$22D36DFE-2816-49D4-A900-E29996AFE31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7a6e51a5e3288f11a6f10253b6cadc938f456f","datavalue":{"value":"regular separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967341$BA46939C-7B73-489C-BF42-22DE8CB93CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967341$AC0C6412-4B48-420F-A5CB-D71F9B900073","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":"Q6967341$899636DB-05B2-44F5-B329-9D71A8EF578A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99548744cbed0f265e0439c22a58235861ee43d2","datavalue":{"value":{"entity-type":"item","numeric-id":5089281,"id":"Q5089281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$467C3DA1-2EA4-4FCD-B6E1-7123110BA311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415aa60d58f1ab4be7e5eba63b4b431a4ebd7135","datavalue":{"value":{"entity-type":"item","numeric-id":3608407,"id":"Q3608407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$FAF25716-8DEB-4208-B9A6-97112174CE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$5BB05D3B-8F8E-400C-B0AA-CCA5BBCFA3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1e11540c8577644641fab107927c871a396566","datavalue":{"value":{"entity-type":"item","numeric-id":6615108,"id":"Q6615108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$678F57F3-052F-4381-B107-AB8D5DF8A36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea85f6ea2f61c53be79c98ef6f839ccc8f942a64","datavalue":{"value":{"entity-type":"item","numeric-id":5167823,"id":"Q5167823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$AFC52AC5-B0DF-4229-B586-7940B9456245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf2adec9d870aeabc77ddb5801758e5bc9fc573","datavalue":{"value":{"entity-type":"item","numeric-id":1607015,"id":"Q1607015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$0F4C678B-0D38-4E2E-A3BB-CF3FBE625E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$1C7B1F45-C744-47C0-BCAC-F0FBF5808795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce33d64f780e403cd770ae6d3fbf4629ba30f834","datavalue":{"value":{"entity-type":"item","numeric-id":5111449,"id":"Q5111449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$39B7E202-519F-4BEC-BD39-936CE069C119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5938f2a9c5ccafd5c4667d4ca10e26a431a5e34f","datavalue":{"value":{"entity-type":"item","numeric-id":4636622,"id":"Q4636622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$CB03759F-785D-4875-9A2B-4115785108C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b4b17510de47114b3cc7864c1e471c6373e12a","datavalue":{"value":{"entity-type":"item","numeric-id":6842449,"id":"Q6842449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$6B335277-133E-4E63-B5A6-EEB70448F9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7311538a5d0aa3528f7ba756f03bb99f88f224b5","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$6A76E58C-662C-4F6E-8116-808CB9A1BA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65ae3a5dbadbdd96adccfd553797067c2cacc1","datavalue":{"value":{"entity-type":"item","numeric-id":5002804,"id":"Q5002804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$96E61C64-5C81-4723-B0A7-CFAC8B80B158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0f213b38801e136ce0f118cdd047b98a551b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5144625,"id":"Q5144625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$D0A0C0D6-6D43-47F8-B3D5-4381A219DF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f525e4c279ed1c59a7967087d92701ef26b0157","datavalue":{"value":{"entity-type":"item","numeric-id":5009453,"id":"Q5009453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$0AB0B3B2-E0E8-4EA4-9E32-2A22A60A593B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed7a6acd2abcf87b40a6ef6d2cee2b65b258f22","datavalue":{"value":{"entity-type":"item","numeric-id":4560219,"id":"Q4560219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$95CB1BBA-D79B-453A-BC7B-E1099B2A3C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936e5afac4703d8d5c6d1433e7f4753d26160762","datavalue":{"value":{"entity-type":"item","numeric-id":5145646,"id":"Q5145646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$705451B0-5C35-444F-B95A-19C518228A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$537030C6-1DB6-494C-88A7-62076234A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b608000f5f07a4eff9f7596994ae2cbf76d666","datavalue":{"value":{"entity-type":"item","numeric-id":3771630,"id":"Q3771630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$1BDC1866-21BC-4B67-9BD3-AF4853790FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44e5738e739579e3429c25fb182bd984c83b01f","datavalue":{"value":{"entity-type":"item","numeric-id":3638095,"id":"Q3638095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$09DB1F21-86C1-407E-B69F-6ADED4164010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec887c57f9a5fecc6bd981528afceaade60dee98","datavalue":{"value":{"entity-type":"item","numeric-id":3166218,"id":"Q3166218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$AFC7E815-3368-4642-BB46-DA7B8E3AD8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$0AC36F0A-BB59-4E14-86D5-5D607CC7BF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3571bf8eed34370adfb0c8f4fadf636abf77941a","datavalue":{"value":{"entity-type":"item","numeric-id":2641880,"id":"Q2641880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$DA7F633E-000D-4A61-ADAD-B7277711C40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b8471a4fb9d950c8fccbafb9cd2e243f07f333","datavalue":{"value":{"entity-type":"item","numeric-id":1228625,"id":"Q1228625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$BAA82D03-B3CE-4C6E-94F5-EDF3382C6CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4597b7a4b847274f0ff50c8904880b844930b247","datavalue":{"value":{"entity-type":"item","numeric-id":3587424,"id":"Q3587424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$F7B6A31B-5F83-4BD8-A534-C559E4E3EB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$C5E1BB8C-FFB5-4410-9ED1-91DCA9BE0108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$B70DDD41-7EF3-4B62-8721-7A4B2BCDE982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99dd948681470753b01cd89b23adf0d42caf1306","datavalue":{"value":{"entity-type":"item","numeric-id":4020513,"id":"Q4020513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$00C1660A-6D2E-49E2-A1D1-0A84F947C43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$53D9958B-D978-4A1A-BA49-6D6DCAFD3DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$95C9BECF-6D3A-4C7F-BF5E-26ACBE1FA2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$8653778B-3CE2-4E93-8BE3-07F966954487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d386d53a87bc23f25814956095d35bea72ff30","datavalue":{"value":{"entity-type":"item","numeric-id":5829880,"id":"Q5829880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$EC832CA0-8643-4435-9BFD-E0C708663429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5bdad5bd148d7473e4019ab1b4c0341f0bed833","datavalue":{"value":{"entity-type":"item","numeric-id":5875690,"id":"Q5875690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$C258ACF9-6276-493D-89A0-767C72CA4275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184467a2a359c40345a21af46f71737b12123603","datavalue":{"value":{"entity-type":"item","numeric-id":5145372,"id":"Q5145372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967341$95959293-7F27-42BB-A959-43C58505012E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separability and non-determinizability of WSTS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separability_and_non-determinizability_of_WSTS"}}}}}