{"entities":{"Q3508509":{"pageid":5538413,"ns":120,"title":"Item:Q3508509","lastrevid":50395367,"modified":"2026-01-13T23:19:45Z","type":"item","id":"Q3508509","labels":{"en":{"language":"en","value":"Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294859"}},"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":"Q3508509$B329AD28-851B-4D36-93B6-94755DA24B51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a78eda976ab08303f88cd70c83a758a43d206a53","datavalue":{"value":{"text":"Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508509$B7527D40-A8EB-4A73-8821-53FADF43CA5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d5da7335c16c776d9ad30517d576552f54cecb1","datavalue":{"value":"1141.68505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508509$5398306C-5FAD-455C-A6F0-7CC6BA13A1C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72e4865afc08cc38c894feccc356066d18268937","datavalue":{"value":"10.1007/978-3-540-75698-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508509$1AEB26E6-2BBE-4B57-89B2-6F3AD26E9DA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c11451b32ff2b299bafcc04dcb1c95cac39ca321","datavalue":{"value":{"entity-type":"item","numeric-id":444505,"id":"Q444505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508509$59867C3C-5447-416B-9E79-F250F802E593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fc089f2173d2cca71cedf816da15f5be891974","datavalue":{"value":{"entity-type":"item","numeric-id":1029092,"id":"Q1029092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508509$A9FC0556-8C03-4600-851A-1816DDDD9EA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508509$1D0DC7B0-4EA9-4444-8BAF-3F295A76DEB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3508509$D82E9E04-8861-49DF-AB5D-1F59B449DF1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508509$DAD4ACC9-FB3B-4DB9-944B-21E81F2A7BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508509$56D5AF2B-046A-46BB-AAA3-07FA5CA25B27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dbe367269ce699a62ef7471e5c3a81889db001b","datavalue":{"value":"5294859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508509$4F192D3C-180C-4D09-B733-E7C0B7E8E5CB","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":"Q3508509$046AECB5-3F26-47B4-8A07-39328FB841AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa9135edfc56a8f4bf60178703d06d2dd3d96c46","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75698-9_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508509$B5B82A27-2C04-4D7D-A865-3FD171F0AAC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b081bb1ee09ba0f720672c5e24bb8eb7440bedb6","datavalue":{"value":"W4243637640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508509$01A2D933-440B-4AEB-A0A0-9B374EA5A69C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26567cadd41c1aaab451386b3d466d03d8f9c59a","datavalue":{"value":{"entity-type":"item","numeric-id":1323314,"id":"Q1323314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17eda4fef6deafa02c20c3ee8fa23cfb51f72644","datavalue":{"value":{"amount":"+0.7465927600860596","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":"Q3508509$9A9BAD80-BB5E-464F-AC28-BA174964B30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82f0bbe6fe4ac21a2c7d247b4e38d51f22ba51c","datavalue":{"value":{"entity-type":"item","numeric-id":2946636,"id":"Q2946636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d264d849cf0023266517271e0a6f2971e9477b","datavalue":{"value":{"amount":"+0.7420234084129333","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":"Q3508509$608CA67F-C690-418D-951C-CC140DCD5ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dd9232e7d7174a2809ccb67e6fefa0ff46e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4035224,"id":"Q4035224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc90ff1e35cf93e5fe93f41fa1e6df2784bf704","datavalue":{"value":{"amount":"+0.735485315322876","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":"Q3508509$99CB18FC-19E8-48FB-9A05-11F3B051B33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5a2734d06b7fce815b9ad42a494e3cb25021c3","datavalue":{"value":{"entity-type":"item","numeric-id":3522068,"id":"Q3522068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd6b793e7c43760dd9d53bf32f16e02fc4d994e","datavalue":{"value":{"amount":"+0.735484778881073","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":"Q3508509$8161A0D4-AA28-4A02-919B-879B0549376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89607fd6e30716409be98b10644560cfa1566742","datavalue":{"value":{"amount":"+0.7345483303070068","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":"Q3508509$72B731FF-3768-4EE5-BF09-625EC44B7BEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3508509"}}}}}