{"entities":{"Q5895110":{"pageid":7934338,"ns":120,"title":"Item:Q5895110","lastrevid":50790698,"modified":"2026-01-15T04:47:14Z","type":"item","id":"Q5895110","labels":{"en":{"language":"en","value":"Psi-calculi in Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618503"}},"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":"Q5895110$0E62BBD3-FFC8-4C63-9A7C-8EA2A2B90B2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbd73df20f766fc521bea59047067b5733073c33","datavalue":{"value":{"text":"Psi-calculi in Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5895110$81B2E880-1BEA-4AD7-9B74-ACA1483222DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de510233adaf3aea5d1de9f8c0025dc6a71ba738","datavalue":{"value":"1252.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895110$9F31F77B-A399-419E-A9EE-A50A93285326","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48e3402326eac902e81dc68c907d16583f4bcc57","datavalue":{"value":"10.1007/978-3-642-03359-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895110$88865952-33A9-45DC-BF0E-785B48D37930","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4016e1f23463ca2cfa7c5bb34d7ce64f66d3ab32","datavalue":{"value":{"entity-type":"item","numeric-id":287320,"id":"Q287320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$A880EEC8-F7BF-45F8-BD66-C00CAB52830B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$CE11C4F3-10C5-4906-9DD4-8FD245563434","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":"Q5895110$8A0583D2-8B27-4C3A-B680-1AA4FE56FA16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5895110$8863DF49-0869-404C-896C-BE1B7D9D5581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895110$02977A70-B478-4438-A878-D04A4240D986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895110$BA6D10CC-B6C7-4E1F-B427-8A8C27B1E010","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc355e77076f0f73795c33c8b5f3aa4368617c25","datavalue":{"value":"5618503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895110$1AB9AEFB-B1B1-4DAB-B8DF-F70146171342","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$11BA1E5E-D042-45B0-82FC-29AB5CE76BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$76C4AF4B-867C-4058-BC7E-111B023F244B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c4c1126d2e4aefe4cff937dd992e10025c7d4a","datavalue":{"value":{"entity-type":"item","numeric-id":40287,"id":"Q40287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$6FB562C4-D81C-4BAF-9596-E3ACC7DFD29D","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":"Q5895110$0A2A4C68-B39D-4CD4-A299-6A7BA5F5A4A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c3baf2435b8085b51d53c5e0077d5823999e270","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5895110$4BA4FAFF-B6E8-4EED-BCA9-6703D421B2EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e5f9c12614aaeb19dea13c273912eac770f825b","datavalue":{"value":"W1499941466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895110$D5BF5DE0-6CE7-44F9-B120-BB02667AD98A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$39EEECD0-B4CB-409A-A78F-7C05D88E68B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$65529A67-5F74-4AA3-B727-32A2FE5E7FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$E5934C2F-4D60-4D60-8276-290B8E9F9314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$EA0F0C8F-A5F6-4B7E-9217-20AE9F4CF5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$DCFE78C3-1240-4887-A885-C402281E6ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce39ca711bf99c74f8bdce078c27fed133ff4aa7","datavalue":{"value":{"entity-type":"item","numeric-id":5758048,"id":"Q5758048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$60432D85-088E-4A09-9FE7-FD3BE8AD7AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddc2d25595b2039aee78c8f5e062ccf7f85d04","datavalue":{"value":{"entity-type":"item","numeric-id":3543650,"id":"Q3543650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$DF824452-4FFB-4F43-AB4C-8DE99D3048B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505d226cc763994e4911a25be3342dcdc3812b64","datavalue":{"value":{"entity-type":"item","numeric-id":5458401,"id":"Q5458401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$85B595A5-AA9D-46B4-BF5C-0062D8812DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$C3C29100-1DA2-4486-BAF1-E5E21932C4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4db8f7fa996304ee694716b3fc5e63d2e83c95b","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$DBE73ACF-8471-4D53-980C-CD43FB79CF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$6EA47E20-BA76-444B-B445-6381C218AC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$913C4EE5-D00D-4955-9AD0-DADF631B7AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85027313a201258674ff07e8ac17dcd6d794e399","datavalue":{"value":{"entity-type":"item","numeric-id":4457837,"id":"Q4457837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$446BF319-2533-41AC-8A67-CAE3A9E0595C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$583E5F40-4F36-4F17-8D53-6997FFAC9C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dee98229347c3ff5d61b43b45d8e001f181167","datavalue":{"value":{"entity-type":"item","numeric-id":3608761,"id":"Q3608761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895110$FF07E967-A53E-4DA5-9582-342E34AD6AC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae797030a40440b90f8d4f71dc88480ef5382e93","datavalue":{"value":{"entity-type":"item","numeric-id":5890661,"id":"Q5890661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18adcfe9585e3168dcde07538212c3f3c32f8117","datavalue":{"value":{"amount":"+0.8821513056755066","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":"Q5895110$D8207F47-6191-4831-B6EB-028AFCEDBA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45458fd3318e280540e69f01747a611f12b1842e","datavalue":{"value":{"entity-type":"item","numeric-id":5740353,"id":"Q5740353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321bff7cc3ee027f73400d6e5dd468ef10ceebb3","datavalue":{"value":{"amount":"+0.8311092853546143","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":"Q5895110$E4097FA0-3541-4E41-9CE1-A0FD981F8E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd16a9972debe7bd761510786869290ae6e725","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91b41c84914c11a31cf9e4eea707461cd0f5c13","datavalue":{"value":{"amount":"+0.8133288621902466","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":"Q5895110$56F88270-9CFB-45AF-8C36-BF46B21199F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13562b4c4373e6196ad9a64b0ebfcaf092490020","datavalue":{"value":{"entity-type":"item","numeric-id":5141619,"id":"Q5141619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd90127faba8821fd6f2e057eb547c366a2258b","datavalue":{"value":{"amount":"+0.8107019662857056","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":"Q5895110$162AF262-BCEC-43F1-8567-48BB8BDC08C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0404f6afbb7eec6187725b2ac097aaa6232258b4","datavalue":{"value":{"entity-type":"item","numeric-id":3395094,"id":"Q3395094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c2b7013fbebc196e8cbf526428b2c7ab25c061","datavalue":{"value":{"amount":"+0.8020398020744324","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":"Q5895110$5C0A8CE8-9CD0-4E13-8E8F-B97A67559DED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5895110","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5895110"}}}}}