{"entities":{"Q5890046":{"pageid":7919596,"ns":120,"title":"Item:Q5890046","lastrevid":47845324,"modified":"2026-01-02T20:54:53Z","type":"item","id":"Q5890046","labels":{"en":{"language":"en","value":"Time abstracted bisimulation: Implicit specifications and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680639"}},"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":"Q5890046$D985B516-D3D7-43F9-B70C-0F85C890C2C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d491dacf7f25d4e01a98cdde3e2eb5eea5cf7883","datavalue":{"value":{"text":"Time abstracted bisimulation: Implicit specifications and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890046$D3C4CA10-724B-40EE-BF35-F60E2C3E2104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9d749df85fdbdc74a76c1a255d4036931597197","datavalue":{"value":"10.1007/3-540-58027-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890046$F88BCE6F-3499-41F4-8F3B-D0CEB8CCD5CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890046$C0F192AB-D523-43FF-B1CB-3756C7439262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890046$B484E12E-63E4-4EEF-84DD-6EDE38E637A6","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":"Q5890046$2AA2A054-B148-4E00-9434-E493921D5CC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890046$BFD049D1-13B5-4F7E-A8D9-BE8BA9F0DD96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890046$E1C7FB20-EE1D-43C1-A55D-16917F70B1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890046$5F663A6C-068B-48CD-AAC9-0CECC1156DC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c53ff88abade87278310f32f353719e95c4b0d84","datavalue":{"value":"7680639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890046$9DA4F4C6-DE4D-4152-9F45-3C9ADE04049E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a7b76c2574f870d7298d139e3e0fd6b9a2ce5f","datavalue":{"value":"operational semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890046$D31B0943-1FB9-4728-B048-04E85B807436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890046$A22EEF40-23B0-4A4D-811F-110DC97765FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64ed99f9b4965480c727141900a2a91a0b8046e","datavalue":{"value":"full version","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890046$BA62BE16-030B-4BCF-9917-8E984E8A988F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a0027b05fe34806f6ea5e638717e3607353832","datavalue":{"value":"symbolic state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890046$1F9153C5-D7C5-4E18-9EA8-FAFAC62213B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a96015937e955c27027050b6b0f0416ed9bf5b40","datavalue":{"value":"symbolic model check","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890046$B788ACE4-90BD-4438-9276-D9891E6FF746","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":"Q5890046$17AE0839-8BE7-48F0-8E20-4C35CD28EBF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a095eb4a64b3f81a0bb47f9f575b26fc7dfdb882","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890046$4C9AFA66-E4CB-4136-AF4D-900A766E23F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4099e06c9223ade69c8a5e6136b4bd0f1fa8edf","datavalue":{"value":"W1552249698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890046$BD1FDE04-4300-4626-9419-D8211BF30504","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890046$468FB65D-B9C4-4710-8231-0EF1FB15B873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890046$D0774E4A-9791-407E-9344-B1F360D09F4B","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":"Q5890046$0348FBE3-1C56-4AFF-BA82-D3AA6136506B","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":"Q5890046$CF19A66C-6B26-40E8-A4F3-F9AD1A3E10D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbb8895c77359a9a1c6dc087b7323ca4c58cfee","datavalue":{"value":{"entity-type":"item","numeric-id":3725534,"id":"Q3725534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890046$C6D6FEA1-7406-4297-ACBE-A3594FEBC764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890046$45D71068-EB5E-44F6-994E-1820A22BC333","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa96325f4054bcc193b7c38769f65b8f71a2ffaf","datavalue":{"value":{"entity-type":"item","numeric-id":1363777,"id":"Q1363777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ddfb1e9c13fedaee52991668efcb81be4f567f3","datavalue":{"value":{"amount":"+0.9832624793052672","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":"Q5890046$61DCE260-7849-4E92-A6D2-DFDC7A8A93F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1693f6672942944498937bba9cdef9626a3c0a88","datavalue":{"value":{"entity-type":"item","numeric-id":2757804,"id":"Q2757804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591107f4604154fa3b40ba86b60f4ae96694ecd7","datavalue":{"value":{"amount":"+0.7812822461128235","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":"Q5890046$CE894A9D-76C0-4F44-BA10-414EC1839FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebd9c16c0f597a56cf582aba88b2e8ce951a14c","datavalue":{"value":{"entity-type":"item","numeric-id":4354357,"id":"Q4354357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2489696404634162281aec2025c63cc7e65da2da","datavalue":{"value":{"amount":"+0.7805445790290833","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":"Q5890046$50989BFC-2F10-455B-A639-A37634B59BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73fe69bea6185e1dbf63957ec0a84ea0f9653e97","datavalue":{"value":{"entity-type":"item","numeric-id":1592080,"id":"Q1592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0510fc4ad189e5185849e60d28fd4056265183","datavalue":{"value":{"amount":"+0.7745421528816223","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":"Q5890046$EF93E033-8C89-4C0E-8C9C-408C128E2947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15109f98683d5bff621cf0d8f8a78b3f4e74fab5","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ad222f78b4f83caaf94056ad17936d072100e8","datavalue":{"value":{"amount":"+0.7686273455619812","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":"Q5890046$3612D9DB-75D7-4BD9-BAC2-8AC2B25F770D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890046","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890046"}}}}}