{"entities":{"Q3508541":{"pageid":5538445,"ns":120,"title":"Item:Q3508541","lastrevid":50395436,"modified":"2026-01-13T23:19:48Z","type":"item","id":"Q3508541","labels":{"en":{"language":"en","value":"Logical Bisimulations and Functional Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294882"}},"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":"Q3508541$9A654A3D-AC95-40A9-A752-998A2A42A080","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9b0d1fa1cd1cbc21afe583b45d785d918e431dd","datavalue":{"value":{"text":"Logical Bisimulations and Functional Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508541$0D35A03B-6AAD-4A1A-AB10-EE9A58918106","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2abafaeab4518e65b452936adc6e99831ec41ac8","datavalue":{"value":"1141.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508541$0477497E-3E0B-4FFC-8C08-283997A17F4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"733f3bf1c52839f91af08230df0f4a29446c0de5","datavalue":{"value":"10.1007/978-3-540-75698-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508541$4966C530-E253-4990-A33D-19690FC45A8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508541$F5FDF437-D3D9-49D7-926A-F312B69832DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508541$EC61DB14-FEF3-41B7-961B-3DB537D39D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f570b16f91c28c517fdac836475d6b0031f634","datavalue":{"value":{"entity-type":"item","numeric-id":238499,"id":"Q238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508541$9B1D47D8-FE64-4C9F-8975-72781768EA99","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":"Q3508541$58C48ABC-3493-4C18-A4B9-CA38C9A59059","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":"Q3508541$8F902F7B-8E02-4A88-A286-F2BAF6845B27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508541$D149A0F2-9022-4236-A34E-1F3B07A9B09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508541$6F76F512-4C67-4214-9C6A-E5ACF4EA568D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d3a656a7744de888af55904cba03b6b359e257e","datavalue":{"value":"5294882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508541$A2CD1BCC-30C6-4165-B4EB-8B991CA71311","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":"Q3508541$DD9C40B7-B075-48C6-BB2E-D861AE4F1AA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"441c98107b19246be12a413df72e7a760d06b9a2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75698-9_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508541$4359E60A-6424-433A-A17B-6CF812E4B089","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfc27e2179b4c7c4fee32f80efbd6f6579ca1590","datavalue":{"value":"W4210534908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508541$7FDFFEDE-E874-49DE-B129-175F0E1E54E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86fffbf2b110759b555950f6d521d8d7229e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8555418b3143672c2459a618591c3326c679a453","datavalue":{"value":{"amount":"+0.842073917388916","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":"Q3508541$C744366B-FFC3-4D1C-8AB4-7CC5C4C90977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6178797147d9e809f6a7528f794f2291d89f81","datavalue":{"value":{"entity-type":"item","numeric-id":3190111,"id":"Q3190111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a08b116f9f8429db239cfe9670b83a2c404ad4b","datavalue":{"value":{"amount":"+0.8140650987625122","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":"Q3508541$0A010CB3-0EFA-4231-846B-0272693C0942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d781ebd667996ff8fd8e7b634b7ff841beaaeb","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505a045820f3301b8646ea13e70b7f7e196c3d1a","datavalue":{"value":{"amount":"+0.8103719353675842","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":"Q3508541$7C16CE4D-360B-44B3-A2B5-5CC15F3BB5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e96f794f195212c52036e4aadb67f10ff32e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5630953a372165e1102cb73bdf34e79004a3f1ef","datavalue":{"value":{"amount":"+0.806685745716095","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":"Q3508541$D59626F5-7096-410D-996E-D07082C91AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f08ea074591f94ccf2b61cdcc111f99470400f","datavalue":{"value":{"entity-type":"item","numeric-id":2828300,"id":"Q2828300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6011fa46e5185469f91f9ffd15268b87b8f833","datavalue":{"value":{"amount":"+0.797080397605896","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":"Q3508541$D1FEA50A-1E6B-43A2-92EF-0C504E2A8059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3508541"}}}}}