{"entities":{"Q4630288":{"pageid":6659870,"ns":120,"title":"Item:Q4630288","lastrevid":53402168,"modified":"2026-01-24T21:52:23Z","type":"item","id":"Q4630288","labels":{"en":{"language":"en","value":"Deciding true concurrency equivalences on finite safe nets (preliminary report)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045140"}},"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":"Q4630288$6E61FD1C-17B1-4F80-8728-BCC95BF10920","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ceaffe12afb740b47299e7d7e8c4e3a38f4ac61","datavalue":{"value":{"text":"Deciding true concurrency equivalences on finite safe nets (preliminary report)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630288$6F0C761F-D49F-4250-B378-FDAD96027A56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"841ce975566cd0d36be7466e270a999500a2ad02","datavalue":{"value":"1422.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630288$68B2DB9D-A2CA-4D8B-AD80-4B493840EE6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7c390eef076b671f5532f2af88970f2174ad2f2","datavalue":{"value":"10.1007/3-540-56939-1_99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630288$850498AC-213F-4601-8451-EFE3F562B54F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"790d947b3393ca6ed472d6f354105dd9273751cc","datavalue":{"value":{"entity-type":"item","numeric-id":1365676,"id":"Q1365676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$BF82274D-3D71-40EF-AAA2-16C6CAED0F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$8688B2E9-C6E9-4ECF-A13B-D4D2E45638F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$320693FE-2547-43D3-9017-2C46F3618688","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630288$E6C8FF8F-8D3D-4AF2-ABAF-ACF0EBD0B144","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630288$A6650E05-5E84-479C-A68A-19CE805D0221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630288$A5491CFB-EA8D-49C0-A16B-688BEEBB7BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630288$8340F114-DB5E-42BB-AE4C-4F4BBEA2920D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630288$4105D31B-19C0-4F9B-AF1D-042A64A4AE98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e30d602c76ef5748d9f5a7609354a5778ff37ac","datavalue":{"value":"7045140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630288$9DF1C2C2-EDFA-4AF4-977A-51E8CFFCAE8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630288$36C718D2-09F1-4197-ACD7-099ED339BF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630288$B8B1A6D3-EE06-4FCC-97EA-880A0D9971BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec0a6d413942ebb7f397ccff4f0a48e6a62e832d","datavalue":{"value":"isomorphism class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630288$DEFE4522-C6C6-44E3-93D5-B07C393A0197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630288$4C591267-068E-401F-AB6C-AAAAA97E6615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2192fcc40aab0b568f4646fe67b3351cecb07a68","datavalue":{"value":"visible transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630288$95724215-4BBB-44CA-B305-2885BAAFACA7","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":"Q4630288$44FF6DFB-5C78-495A-B880-C175981A0C2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"411f187320c82fd752ebe6d5170105b7b2e8735b","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_99","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630288$071B18AA-49A2-4DE6-AC4A-50E5A746ADEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caa63fc6c2b3cd59ad0d480c12146a38c08e9021","datavalue":{"value":"W1582378946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630288$BD5DE793-727A-4376-88FD-67763E5F268F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc59e1a97f709973d7c5b044b91b207ea41b5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$E9DBAF40-093A-462B-AA7A-CE01DB6E71E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1c26eb19363f0d01226bbcc19585d42b1b49e7","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$140573E9-CB2D-4F72-944E-F5BEA89C02BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$F4D706E0-4946-43BB-B776-BD60B04C903C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$6CEF52AC-74D2-41DD-A1F1-3B2C251144FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e961e3a41aba0c299586df0decbe45224cd9e3","datavalue":{"value":{"entity-type":"item","numeric-id":1193655,"id":"Q1193655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$4403AB61-7462-4D8D-8AE9-8F9C7384863E","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":"Q4630288$DF85D037-D584-4959-91BE-D4ECAD7398FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$71FEB92C-1245-4D98-A91E-19EBDD03339B","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":"Q4630288$E4AFE657-CA5B-4BF4-B05E-62A66C7F1935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c58fb8ca68bcbf66e265b26fb6c094f9ce1637c","datavalue":{"value":{"entity-type":"item","numeric-id":5204358,"id":"Q5204358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$68914155-A743-41FA-81A3-430B57DC58D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$294D3970-C6E9-46CB-8A42-4EFEB0F0A03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bf7c01bd53c18169a7b8c5300c97daeb82d32e","datavalue":{"value":{"entity-type":"item","numeric-id":582133,"id":"Q582133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$BB64AE7F-994C-4EB0-AF2E-E6F3343B1DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$62FE8541-1B4D-4C9E-905F-6C9220BFF50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$5447F66A-198E-47AF-A335-B87485708BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944b5a6f3eff57c1c73ac2a8925099cba767dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4035680,"id":"Q4035680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$7158F2C1-9CAB-4FDC-899B-A0D853B579E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8537f6a57826b3db1ef7a461ab0575417933ffc7","datavalue":{"value":{"entity-type":"item","numeric-id":4036588,"id":"Q4036588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$37ACED08-4CDB-4F61-B8DB-7695F424CE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b975344eef28b0a3586df3f3002123a1b83601","datavalue":{"value":{"entity-type":"item","numeric-id":757073,"id":"Q757073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630288$10E68A01-E5F0-459B-AE56-9D1260FC6296","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b6bb54e5ab501ea27312e77dd27871dc6b0974","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94397955c0ef9fb8069f0611f26d78821fc0c27","datavalue":{"value":{"amount":"+0.988327145576477","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":"Q4630288$F582F6EB-B7D1-468C-8244-43CFB679F0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f51cd5b6f734255744dd0ab9df6e2c6ee32921","datavalue":{"value":{"entity-type":"item","numeric-id":672459,"id":"Q672459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea4988b98e62f79f07ac4fb0d663188a5665f1d","datavalue":{"value":{"amount":"+0.9876768589019777","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":"Q4630288$ACBD34E1-763F-4C65-8D3E-AB0819B7E711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6383ca3ad0f865e4b1851ad9a1eb25ab08616fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f2676f9c3633d89bce676739c6df64147121fa","datavalue":{"value":{"amount":"+0.837940514087677","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":"Q4630288$676F7362-4139-4BF1-AF90-5CB0EECDC735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2516069ed424f4e78b8f71cd50e295a83ba38ac","datavalue":{"value":{"entity-type":"item","numeric-id":1970202,"id":"Q1970202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5139abf24397fc5a25fa38533fa25e3eb6452e2","datavalue":{"value":{"amount":"+0.8184372782707214","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":"Q4630288$455C758B-F42F-42DE-98E4-254D233CA9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e8fc93a67887c97f5139257894ef7fcabc8e09","datavalue":{"value":{"entity-type":"item","numeric-id":4818859,"id":"Q4818859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0710d01da6ccaae697c716003ff4f67932b33dc7","datavalue":{"value":{"amount":"+0.8094032406806946","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":"Q4630288$B2FC8513-02C1-4909-BF99-6C2BC33495BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4630288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4630288"}}}}}