{"entities":{"Q4522757":{"pageid":6552349,"ns":120,"title":"Item:Q4522757","lastrevid":47554501,"modified":"2026-01-02T01:46:49Z","type":"item","id":"Q4522757","labels":{"en":{"language":"en","value":"Approximation of abstract semantics by formal models of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1548573"}},"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":"Q4522757$3F5FD4C6-1D9E-47F7-9130-4A2B64408A25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e85774ad2e2185fcbc87a110326081edf1f63aad","datavalue":{"value":{"text":"Approximation of abstract semantics by formal models of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4522757$92D1870E-30C4-40A8-A6EA-79F6B2538D1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45d2a013e0debfced01947f82b946d8295c6cb07","datavalue":{"value":"0966.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522757$ED9D6572-C924-4F24-8693-5233F0C867EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4522757$C1C26793-DBF5-4660-8ABF-24C9AC361236","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"569c6ae314bacef55b7f62c6c521a533e2713fe7","datavalue":{"value":{"time":"+2001-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4522757$9BB44B2C-47F7-46C3-8B5E-63EE28F4DFDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522757$2720A62B-64FC-4D2B-91DE-B8D75BEEDA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522757$0AE3EB47-FFEF-4662-858A-13340C6D055C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"398c8f68b8358936ca9e60555197af52be7f528d","datavalue":{"value":"1548573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522757$4B809C90-612A-42DE-B9BE-CADD13BCF9C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2def1eb9faf8246d628ebefb044a7a036ce857","datavalue":{"value":"algorithmic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522757$47F0AF06-F070-412C-86A6-7B440DA486CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d884b5ce6823ad2c89d441385babbaba7d99f19a","datavalue":{"value":"functional equivalence of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522757$E925B398-DA18-4354-94E8-CDDFE023A738","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4522757$9EC09D61-FC93-46F8-B871-93CA4EFA0AE6","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":"Q4522757$BAC972F3-9D55-4868-9AB9-3086FEEA6DE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba53661cc9c3b1d1e6efd9d964eb549ac3095a35","datavalue":{"value":"https://doi.org/10.1515/dma.1998.8.6.611","type":"string"},"datatype":"url"},"type":"statement","id":"Q4522757$1337B5D7-7B1D-4294-B35E-9C7BDD464255","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a745ce2f064a4d5bd78b546e2d3e4257e32c30e","datavalue":{"value":"W2049224739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522757$6CFE1A72-97DF-434E-B726-ABA64B2CE9D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60a95912318479627d5c945ba507af5dee9a2669","datavalue":{"value":"10.1515/DMA.1998.8.6.611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522757$391A42DD-D698-4E03-8159-7095AC67A9BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2f9997ea578e2ef27bf15e4e9fefe1bbe3e116","datavalue":{"value":{"entity-type":"item","numeric-id":2563402,"id":"Q2563402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08556fea7b59b8b02ce314468fea6863ba60eee2","datavalue":{"value":{"amount":"+0.8240584135055542","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":"Q4522757$D40369A2-6633-4DDA-99A4-3C0764F95D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea437dcb9a0bbffa963d854ded927b85fa208272","datavalue":{"value":{"entity-type":"item","numeric-id":4840946,"id":"Q4840946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb41add127fdfe93cc138ea03e3400ef816f1be","datavalue":{"value":{"amount":"+0.8119094371795654","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":"Q4522757$DE8A6507-CC51-42D2-A6BE-46ABEA4699D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2a4c52765bb6999e56637d794df99707564a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1858999,"id":"Q1858999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74726b7217daacf534d72af5936d12fe7528b1a7","datavalue":{"value":{"amount":"+0.7831454277038574","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":"Q4522757$06C3A52E-D470-4B21-A430-BD61792F4A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c52a4a8a8811963fe180a97c565b57c9351d2fd","datavalue":{"value":{"entity-type":"item","numeric-id":3326831,"id":"Q3326831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c34b4fe1a4abf234d500b68d6f517b21367b3ac","datavalue":{"value":{"amount":"+0.7565750479698181","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":"Q4522757$AD8AEE1A-8682-420E-8BA8-4BC2F661512E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f676d9335ccba8c724966361f960736276b4c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1346625,"id":"Q1346625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8c291c67b56de4cf62ddf974917570a21641bd","datavalue":{"value":{"amount":"+0.7395570278167725","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":"Q4522757$FDDE1144-18B4-4E3F-9B91-0FF87A813837","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4522757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4522757"}}}}}