{"entities":{"Q750160":{"pageid":752009,"ns":120,"title":"Item:Q750160","lastrevid":64093098,"modified":"2026-04-11T17:35:17Z","type":"item","id":"Q750160","labels":{"en":{"language":"en","value":"Program inversion in the refinement calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174334"}},"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":"Q750160$A9D0C946-3B98-4230-915E-5F7CB34D87C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfc67ce790384e95f6cc043fe6a829b893daae98","datavalue":{"value":{"text":"Program inversion in the refinement calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750160$2C717643-008B-4C00-A692-1DF7B5DC2C47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a35ac62b5f5ce8389cd8ae091a31a41c655d7bbb","datavalue":{"value":"0713.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750160$0A87C275-A838-4E86-B850-E7E1DA20FF5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c7b7f44e9bbee064635d909a1a24498bd140390","datavalue":{"value":"10.1016/0020-0190(91)90141-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750160$69FCE53F-03AC-4E9A-A1F3-EA1EA23D4B24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$6C615B44-7144-49AB-B9DB-D36699D86ED2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$59C8EF08-164F-43FE-82B2-A792147F74A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q750160$4BBED81D-B893-4E1C-8677-6A5D2D90CC0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750160$ABA85432-DD3B-4DC7-B55E-BDA81F6B3149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e6c610e213118b7aa361d68297dccce09c7418c","datavalue":{"value":"4174334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750160$8410A1C2-2E64-4020-9B18-0D42B193532C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q750160$DA50EF93-4170-4CA0-BB20-8D376EA53FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q750160$00A889CE-CE11-48B9-846A-1DB239A2052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044aeb6b3f4ae1aed942993bee877a7d90ad731d","datavalue":{"value":"program inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q750160$FA96E3CA-3DD6-4C0A-B679-6D7E7D4C0CA2","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":"Q750160$29052426-C558-4224-972C-6C9104B032D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a471c8f294de4202f103574443f3872562ea8a3","datavalue":{"value":"https://doi.org/10.1016/0020-0190(91)90141-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q750160$75C1C370-F461-48A2-917F-84D35C1695FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67131268d217a42b47eef84a3be1c51ae3488393","datavalue":{"value":"W4252855367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750160$3CF51EB0-5596-4AAA-803B-49AF04C91BD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$06973B27-C32B-46EE-AD59-F7D8AC036AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$C684B0A0-5B16-4FA4-86F7-BBFE4640CBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cae0b454d483b28d3315c63096dc9824543d40a","datavalue":{"value":{"entity-type":"item","numeric-id":706509,"id":"Q706509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$3F4CCA80-AB3F-4237-9A9D-76D10F9E54CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f96f1b5184988ef14c3a8dd82b1d2786ba8272","datavalue":{"value":{"entity-type":"item","numeric-id":913495,"id":"Q913495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$DFFE74C4-216B-4638-9E87-367B8508145C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f487d72e20f46184f24ea08ccef11f48872058","datavalue":{"value":{"entity-type":"item","numeric-id":751841,"id":"Q751841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$6CD74BCB-E1EA-4544-B9EF-ADE2250C7DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$F1B16249-E42F-45D0-8188-130103E5808D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9143b9caec2c35ed69b6720f87afb357eeeb92","datavalue":{"value":{"entity-type":"item","numeric-id":3962450,"id":"Q3962450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$8EC98D13-5C55-427F-8A6B-575E164637EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$2BB23DC9-80F1-4958-A3F9-B9151394083E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750160$D598371C-DB25-4F9B-A8BD-8FEC27D3390B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program inversion in the refinement calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_inversion_in_the_refinement_calculus"}}}}}