{"entities":{"Q1575263":{"pageid":1586003,"ns":120,"title":"Item:Q1575263","lastrevid":72229488,"modified":"2026-04-14T03:29:43Z","type":"item","id":"Q1575263","labels":{"en":{"language":"en","value":"Weak confluence and \\(\\tau\\)-inertness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493207"}},"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":"Q1575263$8CB5B369-3BC3-4971-AD58-0E64E1507FE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f01f65c605ad1469f20b1dcd49a51703848d96cf","datavalue":{"value":{"text":"Weak confluence and \\(\\tau\\)-inertness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575263$C3D483C9-1373-4FBC-A3F3-156A12017B73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"438783af27d57acd218f061c58e3f1f899aa9ec3","datavalue":{"value":"0944.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575263$4D26226A-1EC1-408E-AD06-30119E5A073D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7395c9064038c917df15b539a24c123ba8c54d9c","datavalue":{"value":"10.1016/S0304-3975(99)00084-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575263$DB1E0006-8D14-457F-8250-49AF318360DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68394fd7e8a253e114d6399606d47416a190b2d2","datavalue":{"value":{"entity-type":"item","numeric-id":1511313,"id":"Q1511313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575263$D160D249-4B44-4C2B-B195-B0A2D84FB1C6","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":"Q1575263$19534B99-6873-42A2-9A36-3C3E4B5D9E99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-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":"Q1575263$F6C47B39-692D-44D7-AB11-937CA1EB4159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575263$1A9013E2-E5C9-42C6-9E34-C0C3F6197C95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02ebbbfca425fba35e2d232a4ef244ccc65328b1","datavalue":{"value":"1493207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575263$DDBE2388-6101-4745-BCE5-6373F9C51328","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575263$A3345F0F-4889-4C23-AD36-BC84CFC12817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575263$57FA056B-1F9A-47D0-9022-A692E923C822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575263$7997F7E3-C863-4302-8DF8-700D96A1B9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575263$0D45A703-A06B-4626-937C-17CDFA84F458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d448daf17b4ed1d9136a7366af2231049e688f13","datavalue":{"value":"inertness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575263$28783283-9E32-48DE-95A8-52726307C7A2","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":"Q1575263$B4C16D4E-8586-4EDB-90E2-8F1095C24C4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575263$B4CA80DA-CBF2-4926-B573-015EFA3D791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575263$A11BAEF7-FDEF-42DE-B8F2-D79DD6CC6DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575263$3EB980D9-5902-4EBC-B68E-882F07B4F1BF","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":"Q1575263$50E7C146-820E-4F0B-883E-9E48904A02B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575263$AE0A166B-6C4E-4663-BBBC-B897835F206A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c3ed50b372068ddf64bf607ea5f3f1473053240","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00084-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575263$46788F35-3D94-47AF-825D-B6798ACAE3FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccb880630ff2bb3a37744d55063a49f87267a867","datavalue":{"value":"W2079671561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575263$BD914ADB-E446-4912-84C0-6E6272A2DC60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak confluence and \\(\\tau\\)-inertness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_confluence_and_%5C(%5Ctau%5C)-inertness"}}}}}