{"entities":{"Q4909325":{"pageid":6938904,"ns":120,"title":"Item:Q4909325","lastrevid":91154642,"modified":"2026-06-04T22:23:53Z","type":"item","id":"Q4909325","labels":{"en":{"language":"en","value":"Proving properties of co-logic programs by unfold/fold transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144106"}},"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":"Q4909325$F2B0CD8E-240A-4D08-946F-E01ADA550204","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b381b4a157a0e61713e009840faf6b4baffd4f3","datavalue":{"value":{"text":"Proving Properties of Co-Logic Programs by Unfold/Fold Transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4909325$C0E4C98E-D667-4436-879D-874E7B5C3B05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e8c8a0dfc85fa05b4b26d8524a7eb4604a6d6ec","datavalue":{"value":"1377.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909325$09A7B7BE-21E1-439C-8ED2-AA60D089CE61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f72226597c2e34f67f38203847c0901dccadd66","datavalue":{"value":"10.1007/978-3-642-32211-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909325$E3527716-02B8-47EC-BF6E-44AD65EFFBAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a32b8a393a965407422b1e26ed1865f6e692ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1075754,"id":"Q1075754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909325$6212AC1C-D79E-4FAE-8319-321C0AF798C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909325$4568F9CF-6606-4D6C-A646-28E82EEC00EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4909325$F067697C-FCDF-465D-98AA-867067C8E995","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909325$4BF00965-8C98-4281-AEB7-1FA3982E1229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909325$E5CBB924-47D4-4666-A8A4-7976F7B5B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909325$DD6D3823-2517-487C-B122-F02A6D6E09B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909325$E2EE5BB4-30CE-4F6B-BC63-F717B805C961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c81dbd502879ccf5a0eb8d0ebc6c6648def0ab65","datavalue":{"value":"6144106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909325$79989FC3-2EC8-472F-B636-C1805D532528","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":"Q4909325$3F416575-84F9-4F2B-8AA0-0384A68596E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac44dd5bd2c55889b1182b015a6e34d445445d49","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32211-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4909325$D62CB2A8-C201-4D0E-B545-5B4D02C8D372","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"777293e88e3a6b71b6c07b9ab4b10cb7362b6612","datavalue":{"value":"W1517223672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909325$926C9D96-4186-44E1-B104-C3B30C1E94CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f995356c4e3633c857a83f175980fbee67a7e4f1","datavalue":{"value":{"entity-type":"item","numeric-id":2848908,"id":"Q2848908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b9f73661ee375c1703a41d11a4cc8e82384b1d","datavalue":{"value":{"amount":"+0.8635607361793518","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":"Q4909325$EE73309D-544A-45F9-AB70-9C1C94217242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e22912411c2c27705ce0376f7e5d1d047d74fc","datavalue":{"value":{"entity-type":"item","numeric-id":3558288,"id":"Q3558288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe00c7f51eeec75343b76206724b68468f3e5821","datavalue":{"value":{"amount":"+0.8216872215270996","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":"Q4909325$8499340E-0FB5-47A8-AE80-5777FBA6ECAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c02e3149e1e8373cebee18739c84d5d205337c","datavalue":{"value":{"entity-type":"item","numeric-id":3585155,"id":"Q3585155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4505f85f4d5d7aa26136f269463bedb9b820567","datavalue":{"value":{"amount":"+0.7936411499977112","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":"Q4909325$13FDA45C-6468-44BF-AB1D-20EAD86A6D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323da5be1cd32b10efb198a86740427d123e78ed","datavalue":{"value":{"entity-type":"item","numeric-id":2865083,"id":"Q2865083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de62f8785fc5e8a139ebc25f65523213b393178","datavalue":{"value":{"amount":"+0.788006603717804","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":"Q4909325$47AB5B17-FF40-4C02-955A-1CE120A12D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703f0565e4c6e847f3f5557b5be5659915825e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3003489,"id":"Q3003489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df586cd6714ba7a30a8b1c39164d2f0c46ade825","datavalue":{"value":{"amount":"+0.7826942205429077","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":"Q4909325$21897790-5BE8-4E13-8E1B-BC324A6ACA3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving properties of co-logic programs by unfold/fold transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_properties_of_co-logic_programs_by_unfold/fold_transformations"}}}}}