{"entities":{"Q5411963":{"pageid":7441537,"ns":120,"title":"Item:Q5411963","lastrevid":101001566,"modified":"2026-06-05T23:39:29Z","type":"item","id":"Q5411963","labels":{"en":{"language":"en","value":"Bisimulation and logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6288471"}},"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":"Q5411963$257061AF-E531-4032-BE33-68CBE6D6F14F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6657ace07f65da951c851fa80f18558ad0098478","datavalue":{"value":{"text":"Bisimulation and logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5411963$46B6CF99-B865-4B70-83DB-2B5CC514AFC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc2bc17eee9c511e0eb47af6434f292e668488fe","datavalue":{"value":"1285.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411963$A5C5939C-12ED-4891-865C-DCE94A0C396D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f37f8d542cdfd42b03e0278de2500f15c073988","datavalue":{"value":"10.1017/CBO9780511792588.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411963$581BCF0A-1054-4060-9A8B-D34684EAB950","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6d927eede0b11e6531a43cd8385429ddeb958c3","datavalue":{"value":{"entity-type":"item","numeric-id":5411639,"id":"Q5411639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411963$0A5BA3BC-A27B-415F-8C55-8025C36F3FCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07323bd4d87d7b63802000e5f173e59ae08b7683","datavalue":{"value":{"time":"+2014-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5411963$F72EEAE6-3FDB-42C0-9A34-CECB283E4439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411963$34BFD803-5D26-45E4-B1DC-370B566C8527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411963$45B821AA-11B0-4BDF-9AF1-8D1F49F2CD75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a46ced01c499d27b02cb4335e00fad89be9c079c","datavalue":{"value":"6288471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411963$DA3F0143-FCD3-4E5D-B44F-AAEEB1D084A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411963$606A8D5A-BD73-4C4B-A71E-B908B4C47C36","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":"Q5411963$C8A04019-4040-4554-BDE1-8DA4E4F0E6A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ba4a659fc13859eb8c16c3679cf033cef0b172","datavalue":{"value":{"entity-type":"item","numeric-id":5058364,"id":"Q5058364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59446df2ca5b758c4af578bd530d85dcbbec99b","datavalue":{"value":{"amount":"+0.7996576428413391","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":"Q5411963$ED625B31-91FD-4BEC-9E0C-7BBF55713113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25d44544398d6f0c47a41f963abe9ccb52e6ad7","datavalue":{"value":{"entity-type":"item","numeric-id":5411640,"id":"Q5411640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a93d1378ace9844087b2f8f35b41f720b9a213e","datavalue":{"value":{"amount":"+0.7986312508583069","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":"Q5411963$FD324349-2ABA-4AB2-A887-AB8A2A276511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f54cb18e4020d77135267b262453765219c30e5","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542a9c9953214e83ab7d4d77a71ff00f0c0af585","datavalue":{"value":{"amount":"+0.7970221638679504","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":"Q5411963$6E1877B3-D7BF-42E7-A1D1-9280DE3916AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532da0e7d0f996a9c558e3a78df28a96b8510f4e","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdc5a2c69006260dd2b1252ba98cba9570e0f8f","datavalue":{"value":{"amount":"+0.7917425036430359","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":"Q5411963$3814EED9-BFCD-43D6-AE72-E876C99D7714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277dad969b10bf2e20a0cd1e2b00e0876a0cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4440830,"id":"Q4440830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdc5a2c69006260dd2b1252ba98cba9570e0f8f","datavalue":{"value":{"amount":"+0.7917425036430359","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":"Q5411963$A988FC10-5CE6-4602-BF21-D34D19AEBEDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation and logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_and_logic"}}}}}