{"entities":{"Q5327354":{"pageid":7356928,"ns":120,"title":"Item:Q5327354","lastrevid":51794054,"modified":"2026-01-20T01:59:37Z","type":"item","id":"Q5327354","labels":{"en":{"language":"en","value":"Handcrafted inversions made operational on operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196174"}},"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":"Q5327354$2167FA07-FEA8-427D-89CC-6EF4D92D16BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c8c23f83158bd0dfe893cb32de6dc0e75f84ae7","datavalue":{"value":{"text":"Handcrafted Inversions Made Operational on Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327354$A2049E6F-2BFF-4837-88AD-38F7E15270BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15f5c6a7bff676d9c8261e445f4a8a5450b8059d","datavalue":{"value":"1317.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327354$E1A43901-81F4-4395-AE14-FE93E66E64AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46b9b16205972d82d3cd4770769c4b24ec8392cf","datavalue":{"value":"10.1007/978-3-642-39634-2_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327354$E5E243A8-DABE-4B7B-B386-ADA3B7C2321B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef4a01f54f3e349b8ab6cf4271ef92b1d9a9ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1395675,"id":"Q1395675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327354$FCFBB093-CF04-47DF-A91D-4A9553DCDE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad905386b7c3383cf03d357be2b73ba68ff5e22a","datavalue":{"value":{"entity-type":"item","numeric-id":832256,"id":"Q832256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327354$E6F30C22-3450-4AF5-982A-45F1D3B9DEA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327354$C1BA808B-6EBC-4E5B-A942-AE3A8C0A8B3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327354$5E854FFA-3060-481E-B7DC-51022F8D9EE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10be0cfa8ccff11e3c42b3562f06bee1477775dc","datavalue":{"value":"https://hal.inria.fr/hal-00937168/file/itp13.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327354$215DFF91-E5CF-41C2-B3FA-92A80B9F43B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327354$DDDD728E-FC90-4896-8920-D3C74C87BFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327354$B33150F9-EC35-44D6-BAB1-56457E6ACD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327354$86F5E19C-3738-4EF4-BA06-356FB3DF945C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1eebb0ca5586b32c8fe8038c6f324eb8c8cf6aa9","datavalue":{"value":"6196174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327354$1E65D793-CBCA-435C-84EC-EE2B7BF2BD21","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327354$60A4A029-3587-46D5-AA50-3012F2E805DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327354$5898ED1E-2425-499D-B195-DEF50D2C7DCB","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":"Q5327354$B8BF88C6-8DFF-4F6F-A118-9F3343D2FF36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aba6fc377f74aa4d27343bcf7dd995e175d27e3","datavalue":{"value":"W158437490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327354$543AE5F3-60C1-4F86-BDB6-01387CED253A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250951a1b76ebca9eaabe482090b604188d84f93","datavalue":{"value":{"entity-type":"item","numeric-id":4647573,"id":"Q4647573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9338cb76f271f6d3c37e0529d24e8af042723941","datavalue":{"value":{"amount":"+0.7475742697715759","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":"Q5327354$F4641AB2-7B8C-4D60-88C8-8564F49416C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2dedeed48f478c18f307fcd52efdae3106a782b","datavalue":{"value":{"entity-type":"item","numeric-id":3543650,"id":"Q3543650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5733ebdacc2f138f97d1fd4c8f30de8d8173d3","datavalue":{"value":{"amount":"+0.7052661180496216","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":"Q5327354$1EE7D25A-B85E-4B61-A32A-29A502938ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319f0e45bfa506ba9fbe0adbda954a115f9a8a53","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd67fc9167fb392f30ae1dc1a79b218c648abd3","datavalue":{"value":{"amount":"+0.7038149833679199","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":"Q5327354$46099D52-FA3C-4A2C-A12B-F53997C86B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85fe0cfba50ab81867fa509e16f2465ae8978f99","datavalue":{"value":{"entity-type":"item","numeric-id":4484330,"id":"Q4484330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8edb2133cd72fcd14b4875a1471576a38c189799","datavalue":{"value":{"amount":"+0.6992332339286804","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":"Q5327354$9F307143-1A9B-4F57-AF74-C11B48EAD6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca320f3d91c0d7a8bb4f611412474fdb2e1c5024","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d26bf779ee48923c9e4e800bb611aba6048758f","datavalue":{"value":{"amount":"+0.6809041500091553","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":"Q5327354$4FBA762B-34F7-491D-A3C6-C2D4404FD397","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327354"}}}}}