{"entities":{"Q3546360":{"pageid":5576264,"ns":120,"title":"Item:Q3546360","lastrevid":50526257,"modified":"2026-01-14T07:20:23Z","type":"item","id":"Q3546360","labels":{"en":{"language":"en","value":"Undecidability of bisimilarity by defender's forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5426623"}},"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":"Q3546360$2931FDC9-50E3-4A8A-B756-32CC9BEF2D5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e98b05c3cf6f0911a0ed485ed5fd9349844c715","datavalue":{"value":{"text":"Undecidability of bisimilarity by defender's forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546360$3EF64AFC-66A9-47ED-991A-6B9FD30F6DB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95dbff17ab7dda2dd7d4555e152d0099ec30b22d","datavalue":{"value":"1326.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546360$C3C3AF52-20D5-42B9-A133-FE8CAC1C1590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd6196a206c9c13dddd10f1ca002e6d46b1a44a4","datavalue":{"value":"10.1145/1326554.1326559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546360$FCEAAF77-7731-42DD-912C-829A4D71ECCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546360$C5833092-F001-4BBA-A3E0-B526739E9820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546360$850B0A6A-03D2-4000-A112-B0F69DBBEF20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546360$39C9B2E9-9A89-433E-BE37-1779C4E0A9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546360$8F287DCA-B85E-49D7-915B-C94BC582D332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546360$9327B17E-5FDF-43D4-9644-0CDB5393ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546360$20987A26-5BCC-40A5-9707-FC71065B51FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6b596e65b8d4dcb602cf5d3c3e68845faddd237","datavalue":{"value":"5426623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546360$E148FD6A-F399-4292-8AA2-5680236849AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546360$EAB99C7D-7B95-437D-85BF-BF1DF2BF2855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546360$E4B9B18C-ADE6-4F21-B2A6-A7E9C676D3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546360$0E69B35D-D048-408D-B61B-62A9F42B6F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546360$8FCC1814-4B21-4D9B-AD60-80A029016B13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546360$ADFF21DB-DEDA-4E4B-83C5-32EC78B25158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546360$99E33F4A-B1DD-45B6-A1B1-FBAA2507D777","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":"Q3546360$0212F7AB-7E24-4C56-ACF1-050865C557BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cdd4f5c3f01ccf66f084583f9654b7957103e4b","datavalue":{"value":"https://doi.org/10.1145/1326554.1326559","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546360$6DECD622-720F-4A8E-81EE-E1410ABE3DEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"751dde7cd62eb0f25873ef4d9e758100673b0bb2","datavalue":{"value":"W1998608869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546360$14206961-F778-458D-B440-6842A8E64464","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f72304a9e840ee56e963b75fcc6c767f8dc3b3","datavalue":{"value":{"entity-type":"item","numeric-id":5899094,"id":"Q5899094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790e289abe29351ded7156c1f2e7bb087c5f5578","datavalue":{"value":{"amount":"+0.852838397026062","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":"Q3546360$52B4D15E-9F47-4AD0-835E-79D749DB1F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4559320be0bbb95a78d3edcc195fc1070e26c8d","datavalue":{"value":{"entity-type":"item","numeric-id":2847411,"id":"Q2847411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54f139ced09d03063eef93efac15cf6d8a622ae","datavalue":{"value":{"amount":"+0.8262889981269836","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":"Q3546360$EB4D7064-1A0D-447C-9324-06DA36539821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dff55a737df6c82e9466a23bd42a62ee671b99d","datavalue":{"value":{"entity-type":"item","numeric-id":4484512,"id":"Q4484512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e59b840e28da0e7c13fa383aca9bcb81666e1d","datavalue":{"value":{"amount":"+0.8258303999900818","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":"Q3546360$2C2C58FE-838E-41A9-B3B3-E84A505FCA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db13d8c99a16f887d130c4e21df4914081f9db35","datavalue":{"value":{"entity-type":"item","numeric-id":3532999,"id":"Q3532999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94e1b8dbbf8d8f3fe2567d08d143c9231ba705b","datavalue":{"value":{"amount":"+0.8002027273178101","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":"Q3546360$50D914C3-A1C5-4317-AC79-B5620EB60CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e682e61e26e24fd800619d79634ec084214eb3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2957489,"id":"Q2957489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd60417a48995c6b2d64faf703ff1ecaec76ddd","datavalue":{"value":{"amount":"+0.7891381978988647","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":"Q3546360$7C0132C3-A012-4814-B37F-CAAA15CC418A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546360"}}}}}