{"entities":{"Q3608419":{"pageid":5638325,"ns":120,"title":"Item:Q3608419","lastrevid":50591345,"modified":"2026-01-14T12:15:41Z","type":"item","id":"Q3608419","labels":{"en":{"language":"en","value":"Typed Normal Form Bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523400"}},"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":"Q3608419$897F0DA1-7DC7-4F8D-AD36-9DE3EA304869","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40bc0a969744fb46bae1eb699e0b64eda4cb191e","datavalue":{"value":{"text":"Typed Normal Form Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608419$02F98104-EEE6-478F-8418-23888DC428B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f257f81a10546d4c8392d68e0894dd36f4138181","datavalue":{"value":"1179.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608419$D9DCC302-968A-4C0F-B458-8EA4647653BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3c15d23bbcb26bf59c31ed94e4a0eea1282707d","datavalue":{"value":"10.1007/978-3-540-74915-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608419$B435FB93-06E7-44A0-A64F-DD6AFF50F6E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26760a556f7239e743cebed6c99bdd92225174cc","datavalue":{"value":{"entity-type":"item","numeric-id":2704323,"id":"Q2704323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608419$6481A331-ED8C-4B65-A530-44A81109E53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0859f0264c06097e37f924eb5410948debb1e134","datavalue":{"value":{"entity-type":"item","numeric-id":857914,"id":"Q857914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608419$FEAA3DA3-6C88-4F1F-B963-4B14D8508B99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608419$A350385C-322E-47F8-8F1D-13ABA308A19D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608419$C5BBAEFA-9691-4AEF-8B33-C3C6CD3C20B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608419$64C9BC94-73F6-438C-8CC8-D5307FB7D11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608419$B29EDF04-FDB5-43B5-B56B-464C63DB537E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26212f2b689d64db4236f405be994fb13d06de46","datavalue":{"value":"5523400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608419$0FB0E89B-D82E-44BC-AF35-F97366907101","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":"Q3608419$AD51C34A-4364-4633-B71D-4E8F0E39B549","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce5f069986b1d22fc2faa24e37a0587e3b261ba0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74915-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608419$72FA5FEF-0533-41AD-8BDB-A9C0C8E35FE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9bd9653edf4e630bb7e82d8a7a740b0f28fc1d3","datavalue":{"value":"W1491719272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608419$30617A4E-CBD0-4EF1-9B38-3E3A1F064E3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce4d8c7ff41d622ab5ed6f37af63a8792dc372f","datavalue":{"value":{"entity-type":"item","numeric-id":5376646,"id":"Q5376646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a7952ac9ead4f69fb956382e6bd7a7bd6006e8","datavalue":{"value":{"amount":"+0.7997886538505554","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":"Q3608419$CC0C11F5-ABF6-4CE3-92FD-A16F8476D4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bdfeb7906f3d46cde956192c2f4d2ed7dfd31a","datavalue":{"value":{"entity-type":"item","numeric-id":2900257,"id":"Q2900257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccad2a10f0f6586443a8cbde03d28811c5f05910","datavalue":{"value":{"amount":"+0.7991795539855957","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":"Q3608419$3EA64B12-E764-4F04-A6B3-37E1A98E1FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3fbf4f48520b4e6c8270d30298a4563960d7950","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe50230481679bf003aac56d174f87bc2b5b741","datavalue":{"value":{"amount":"+0.7876363396644592","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":"Q3608419$D6D3223F-B424-485E-AFB5-C4B95A93A038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3ad0f1ecb1ddd3c0cfbeb76073648fefbd8395","datavalue":{"value":{"entity-type":"item","numeric-id":3508541,"id":"Q3508541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b7dbeb3b8eae4a626363db2f1efd5ff1e64518","datavalue":{"value":{"amount":"+0.7851117849349976","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":"Q3608419$5E84BF95-56FF-4F36-8D3C-A0F9BC85D388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccde78329dd62226881d737e7cbedd37102b6d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7059b634836ec27a9a5e2d38d1038bc37455736","datavalue":{"value":{"amount":"+0.7806891202926636","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":"Q3608419$CB52A4A0-C91F-4425-93C4-F16EA0B6B683","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608419"}}}}}