{"entities":{"Q6560177":{"pageid":14171332,"ns":120,"title":"Item:Q6560177","lastrevid":55692439,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560177","labels":{"en":{"language":"en","value":"A fully abstract denotational model for observational precongruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869533"}},"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":"Q6560177$57378EB7-E49B-4F8F-AE68-21DAB233E064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01abcd67a58ec74c8143b7baab5e3ccd23e68873","datavalue":{"value":{"text":"A fully abstract denotational model for observational precongruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560177$0D92029F-EBFC-4923-8DB4-99B67A1D5A69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17b90896d1cfa210a28485abe8154271c62a7185","datavalue":{"value":"1540.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560177$1398ECEB-5AB0-4989-A8B6-9CD961B6E568","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a7c176b5b2dba0a7bc794a609f4b68f74605af5","datavalue":{"value":"10.1007/3-540-61377-3_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560177$2E741214-4771-494E-A298-38DC09D666A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$C6434411-8073-45BD-B1B2-E00C748778A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb7751347a9e393e5f51241be38fcb4ed1e07e6d","datavalue":{"value":{"entity-type":"item","numeric-id":689272,"id":"Q689272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$008CD0D0-FF68-4877-9273-2512ED49FA68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560177$C4E1A36F-90E6-4C77-9071-6AC81B3B5333","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560177$A2E31301-D9E4-43C5-95C0-E7FC1DC04A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560177$B88F0AD7-440B-407A-8EE2-B3B52A811430","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f97e3b4a4f980164be99640bc257eb9f608ba9c8","datavalue":{"value":"7869533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560177$109903CA-3E24-479A-9FDA-49A1F9492F14","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":"Q6560177$E0DC4B6F-AF85-4E56-8DD8-43ED9D533983","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$312B10C8-9F45-4A9E-888D-D9A0ADCC4E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$330B7642-B4CC-49A3-9F1F-41A3D8C63FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$7305A83D-4827-4460-8D66-5FABD7C0AC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1cd885484862938176d5982fbf25717f102d36","datavalue":{"value":{"entity-type":"item","numeric-id":3969860,"id":"Q3969860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$96F4D816-AFE6-49E7-92B8-8A074D923E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$A5772007-B374-48CF-86A0-49EF1D560D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$4322A5F4-4759-43B6-8E2E-6D3A40D86EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559cfc5c99beab76c0edcbfc995aac83468d7534","datavalue":{"value":{"entity-type":"item","numeric-id":3817589,"id":"Q3817589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$2202DCF3-8D01-4CCA-9A74-7F030DB8170E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$3662884B-22D5-44D9-A3B9-85B4CC3D6FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$DA0CB9EF-298C-4700-8931-0FD222EC599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$80A96207-53AF-49FF-A5E7-25A6C6C558B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$E1A22374-2B9A-4381-9C7E-14003235FAAC","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":"Q6560177$355EDA7E-F8F2-48CE-B0AE-9A8B8210B8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$CE0C8B3A-155E-4384-95BF-7D18794E93BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$1568F5FD-B84A-4EBE-88A7-E674DCCF2B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$D4F0B304-3934-4EC2-8598-A828B94075F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560177$FC3E37CE-62FD-41B1-9483-680C1A4C64AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbca2cc33ae1b4316bdfe75e71d1d2bcb8c0d52d","datavalue":{"value":{"entity-type":"item","numeric-id":5940916,"id":"Q5940916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70308899ad3e1e28f6f9c45d7b6a2d05db6130b","datavalue":{"value":{"amount":"+0.9972330927848816","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":"Q6560177$1739EF1B-615F-45F1-8D99-1114A2FFCA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ff147a482a33c166b929d245f43f6814e1cc9b","datavalue":{"value":{"entity-type":"item","numeric-id":3348429,"id":"Q3348429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b9e1b48bb9d8505d75dd5848667cd039e7f5fd","datavalue":{"value":{"amount":"+0.7779358625411987","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":"Q6560177$879C2ABD-3806-4FC1-BFEC-EEFF1E7FF349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a2f37f7debea2b80fc6c481caf08f2f003deb0","datavalue":{"value":{"entity-type":"item","numeric-id":1341758,"id":"Q1341758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb980537267d8ec6bf6829fd4f5bd7d4cd30d2b","datavalue":{"value":{"amount":"+0.7762347459793091","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":"Q6560177$E5346213-95AA-4207-A3BF-6B0E8F3D9D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf95e82237bc767c4c1549451fe8a9609a9223e3","datavalue":{"value":{"entity-type":"item","numeric-id":4721642,"id":"Q4721642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f44e6f86c05641f96ea63508f35690b6660c45","datavalue":{"value":{"amount":"+0.767148494720459","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":"Q6560177$64327D34-2BFB-4A4C-AC48-CCB3D9780438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bae0b2aaf8004789da4d810364389bc083a9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1605174,"id":"Q1605174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7aae6f1fe73859fd845e0d14efc58f8692a6fec","datavalue":{"value":{"amount":"+0.7648686766624451","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":"Q6560177$19B54455-AA58-49C0-8744-0AD25530CC2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560177"}}}}}