{"entities":{"Q2163155":{"pageid":2173898,"ns":120,"title":"Item:Q2163155","lastrevid":55420075,"modified":"2026-02-17T15:59:26Z","type":"item","id":"Q2163155","labels":{"en":{"language":"en","value":"Asynchronous unfold/fold transformation for fixpoint logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570113"}},"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":"Q2163155$4F1FC981-7021-45BF-B0EB-7CDD6D75DDBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca5dbf96c18fd5b93cc5252ddaf4b41724cd49e7","datavalue":{"value":{"text":"Asynchronous unfold/fold transformation for fixpoint logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2163155$6EB1FD18-0C78-4154-9B08-6F1327DF836F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b4454157f7bdd304eba420e083de879cdbb5fa6","datavalue":{"value":"10.1007/978-3-030-99461-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163155$11D05867-333D-4425-8ACF-656AF631B58D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"831e53c48bbe450043093e4eb2ab3787216fc55d","datavalue":{"value":{"entity-type":"item","numeric-id":278745,"id":"Q278745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$34F65BD4-3642-4464-BF19-9D288173A0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$AE89BFAE-BF06-41D3-AAB1-28D57EC2673C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"265a8705f244c9d097de3e98c6937abd8a7b8993","datavalue":{"value":{"entity-type":"item","numeric-id":365066,"id":"Q365066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$4146711C-B5DE-4E18-B30D-AB28EFAC03A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2163155$61203481-CD81-470C-B16D-BC8A35A0A380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163155$C54E0B46-2828-4239-B1E4-FD7F336FE519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163155$BB64ED12-5BBD-454C-9E94-DFEE2B779EFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26dd2f41f3776b55c26cbeb478be13c5a8c5e287","datavalue":{"value":"7570113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163155$01BD1AF6-DD07-476C-B0FA-1331EB868FA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878f776ed35cc5d9aa218e7d87f4a816e3e0eca3","datavalue":{"value":"unfold/fold transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163155$9AC0EC55-CB17-471D-BFD9-3F3F401B1B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40953c2325db86cbab905851b0cf565a13fce3d0","datavalue":{"value":"fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163155$BD5258A8-4C08-4A6C-837D-5996E640CCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a79d075fedbb943e134086d91521b97d0b25e1b","datavalue":{"value":"size change graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163155$F332BFCA-EE30-485D-AD25-CA294E5A4C42","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$07C4A980-1AAC-455D-BBF0-7448B208CA6E","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":"Q2163155$68198F77-CABA-4BCB-BBCF-81633F0695D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17d8091240281e3ace7ecd16a89328b0fc1bd4a6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-99461-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2163155$60F84147-C4D4-40F8-84A5-07D43645224F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a20dfdb5d888535dbb3dd1b03a3448ade17c2eb","datavalue":{"value":"W4285235764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163155$172F4DF1-EFF3-4500-940B-A6178AF3E1CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$FCF4C241-1DF7-4072-AC1B-92BB5EE8365C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b579707a4306c9f6e0814fff83d8fe01dadba181","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$32540E85-3EE7-4033-89BE-61B8D4A7843E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141416913ed8644e9d00b6354cae7501f1ad8866","datavalue":{"value":{"entity-type":"item","numeric-id":5348873,"id":"Q5348873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$0D1F6616-65D0-4388-AD2B-A6897717CEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f2abc654de5d83b6304976ca39829ece176027","datavalue":{"value":{"entity-type":"item","numeric-id":5164174,"id":"Q5164174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$D4414FF8-CB25-41A5-AF94-D9A3F31A2E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$1C8A191B-FACE-4DC6-8BD2-87E167B5F2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d384171f2a4202c84967fa36d41220796745ddd","datavalue":{"value":{"entity-type":"item","numeric-id":3558288,"id":"Q3558288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$B228FE24-9217-49B4-A296-E894EE935B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b42b19114dded233dd07d1d1dbd383a38116ac","datavalue":{"value":{"entity-type":"item","numeric-id":4909325,"id":"Q4909325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$3CB4BBAC-FA0A-4404-8946-E654EF66D483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c2af6114a325d3ba9d32333a59af45d2f625","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163155$61497AF5-F34B-4C8E-948A-5CA07DFD91E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe493503d2c4e0191b9a058f6e08c4321b8a4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5164174,"id":"Q5164174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa63d005a3ed89c850e489354120682af51f521","datavalue":{"value":{"amount":"+0.8512707948684692","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":"Q2163155$FC3640B2-27AA-485E-8A00-298FF8F4062B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64c53daeb5a09ca5f0f9b43e9c71ccc29bd6941","datavalue":{"value":{"entity-type":"item","numeric-id":4909325,"id":"Q4909325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db27e89e60e47c5f63421b7e3fa1bbb2e0b53ca","datavalue":{"value":{"amount":"+0.7223402857780457","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":"Q2163155$A87A58B9-4413-49DA-8BF2-EDC0F18C3D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21eaf99e9488687cd0a1a4b6fc5b4161570fcf46","datavalue":{"value":{"entity-type":"item","numeric-id":4015152,"id":"Q4015152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324bba2a86b6bdad50763163796c36ba1855ab4e","datavalue":{"value":{"amount":"+0.7182215452194214","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":"Q2163155$C53EDA54-82BC-4ECD-8260-6552322C62FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d154a43f7e6aa5e3800b26e99db5f589b7eba6","datavalue":{"value":{"entity-type":"item","numeric-id":5712550,"id":"Q5712550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a925110339d21d9a8cf5ca1b887321c6758326c1","datavalue":{"value":{"amount":"+0.717446506023407","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":"Q2163155$F95423D1-BB14-4CE0-944D-DD30F5C60B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31c3f13f766afaf8bc8e2e1b0204f4741c74c10","datavalue":{"value":{"entity-type":"item","numeric-id":2767091,"id":"Q2767091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88f4b7185c85f18065f9709fde82103c7ff3dc4","datavalue":{"value":{"amount":"+0.7132857441902161","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":"Q2163155$A284E969-4E02-4C51-9128-8ECD329F5592","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2163155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2163155"}}}}}