{"entities":{"Q4880487":{"pageid":6910066,"ns":120,"title":"Item:Q4880487","lastrevid":46369485,"modified":"2025-12-24T15:53:20Z","type":"item","id":"Q4880487","labels":{"en":{"language":"en","value":"On-line and off-line partial evaluation: semantic specifications and correctness proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 885101"}},"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":"Q4880487$7B8E1E37-FED9-400A-A53E-AB5038A23A25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d18330bc0fd18e7de3da6f14b0e0f78614a8d92","datavalue":{"value":{"text":"On-line and off-line partial evaluation: semantic specifications and correctness proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4880487$4FE37E02-F808-4AB9-AC6C-572663FDC570","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c130b35f344c7d30817b0aa3abbf51fd39864d6","datavalue":{"value":"0846.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880487$69EB4988-1880-42C4-A280-5EB2501C60EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e6b9d48e79dde9125b041c8fd213601e0a6d97a","datavalue":{"value":"10.1017/S0956796800001453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880487$9918A895-C03C-4634-B492-055B51A03CC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b60ce5fd99ffac599467e63e66d8e4bac513618f","datavalue":{"value":{"entity-type":"item","numeric-id":192363,"id":"Q192363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880487$0EAE5390-C051-4AC2-810D-889BA30AA428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3ee23cd67d40d34f50126c9eae32be36f4578c5","datavalue":{"value":{"entity-type":"item","numeric-id":238509,"id":"Q238509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880487$0EBBF2AE-E61C-43C7-B81A-69069AC31F1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880487$88E2E4E6-BB2F-43B3-B3AF-C437BAE13E67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263e9b17522668129d7ac5e5b0ec8ae0a2ff1a09","datavalue":{"value":{"time":"+1996-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4880487$4EE289E6-0560-4D19-8DCB-CAB508B3D3D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880487$E2BC56E0-C9AC-4974-B880-E6778363048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880487$9326BB61-9E7E-4EC9-99BA-72701BABDE3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"743d2ae11bb4ede98a086c82d229f3bce299b279","datavalue":{"value":"885101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880487$A38F162D-0B0D-4D5E-B5CB-C6C340A49C73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce320fc69cbe172944197675abaf587b8b18ad92","datavalue":{"value":"semantic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880487$50BF1CF5-C03F-4036-9C2A-0489BE8A3C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc586bf7f1b960cd0cff1cdcdec144ea777670b1","datavalue":{"value":"core semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880487$06E43550-9750-459D-8F30-954524D1E0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880487$08F6AC9B-A4EB-40A9-9F9F-474C44BA8366","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":"Q4880487$111E31BA-B71F-4655-B4EE-75B9923A3D1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a1fd100ba49d79341053b43b60105b7dfb1c67","datavalue":{"value":{"entity-type":"item","numeric-id":4023587,"id":"Q4023587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880487$A70B3FB3-0741-4BDD-A4AC-7F55725CC5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14a600202c87d5e4bc2f4dbf6bf768069fd8881","datavalue":{"value":{"entity-type":"item","numeric-id":1183551,"id":"Q1183551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880487$933D8F14-12A9-4993-85F3-36BEA988611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb81bd457bbe741eac4d814dc1090b2d9998aade","datavalue":{"value":{"entity-type":"item","numeric-id":3348896,"id":"Q3348896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880487$E8018D27-F320-46B6-B89E-FBC71F160C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade0bbf9ba9257fa3f0783a85792ec650fca3b91","datavalue":{"value":{"entity-type":"item","numeric-id":1107512,"id":"Q1107512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880487$81BB06F3-A8FC-4B6B-81AF-63C4B679CF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aec7fdfbcba4c1d3ff3294dc1f0210ffedda842","datavalue":{"value":{"entity-type":"item","numeric-id":911319,"id":"Q911319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880487$693B37BC-DFD1-4E4A-A8FB-F422C0D9458E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a8298c515fb4a6506a5b252c7430fa823c5025","datavalue":{"value":{"entity-type":"item","numeric-id":1806129,"id":"Q1806129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0500b32265a99af2aac1a210c5268a32703fe4","datavalue":{"value":{"amount":"+0.8349926471710205","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":"Q4880487$706AB18D-E1CD-4B5C-B2A8-4D94F2BD1D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08475a6e18ef00e91720b167177c49a7d3ea8f6","datavalue":{"value":{"entity-type":"item","numeric-id":5959581,"id":"Q5959581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9004de7d7065c643a646d1d7ccd090ba4c1cf407","datavalue":{"value":{"amount":"+0.8090785145759583","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":"Q4880487$86CF0314-C4BC-4C9E-B15F-1639E2B8D2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72aa8b6de59fa6a24dccaf7a741a4368f2d51bc3","datavalue":{"value":{"entity-type":"item","numeric-id":4494371,"id":"Q4494371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6a55bd8c50acb425a3850c9d2948b21186c503","datavalue":{"value":{"amount":"+0.7702003717422485","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":"Q4880487$CE7CB464-1238-41BC-A644-6B46CF67E3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"633afb6af31cefabe8b7818cc2ec88c2fe78208e","datavalue":{"value":{"entity-type":"item","numeric-id":4222904,"id":"Q4222904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4915c42ec5940ee58584eb6f2779282a9bfb5d1c","datavalue":{"value":{"amount":"+0.7598339915275574","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":"Q4880487$677C95C6-5330-48CB-8F03-7F584C1EE77F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4880487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4880487"}}}}}