{"entities":{"Q969643":{"pageid":971491,"ns":120,"title":"Item:Q969643","lastrevid":65824722,"modified":"2026-04-12T05:37:06Z","type":"item","id":"Q969643","labels":{"en":{"language":"en","value":"Lifting non-finite axiomatizability results to extensions of process algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705447"}},"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":"Q969643$B2F9BF29-BB44-455D-B370-35192DC70ECC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecf71cc1a5c334af1b1760efe67280bb2fc0a750","datavalue":{"value":{"text":"Lifting non-finite axiomatizability results to extensions of process algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q969643$17A9615A-E1FC-4353-905A-997B483BAC9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da6eef6ebe871c2ae7508ff5ea147e7cb3530176","datavalue":{"value":"1186.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969643$94993998-1DD1-481D-882D-5522FBA1AFA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac61124c130a309ba22dd6de30ccf8073e5ac16","datavalue":{"value":{"entity-type":"item","numeric-id":931578,"id":"Q931578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$4EBA99D8-A708-4402-857B-CEE15A5B5427","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$266E9A18-AFC6-4FEC-A7C6-10D19EE84176","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-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":"Q969643$313A8206-1F42-4625-8079-8FE9AE7225E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f22034647c044d715673f621fb285756852657d","datavalue":{"value":"https://research.vu.nl/en/publications/9e8affc4-e7cb-411e-952e-03688815a541","type":"string"},"datatype":"url"},"type":"statement","id":"Q969643$B1F10B99-8C03-4D83-9A9D-B0C8C1E36FCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969643$FFCDB441-EB85-4B47-9695-27EC0713BDE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b32fe8d80144da3d9398ad7eabf67e27fb73c6f4","datavalue":{"value":"5705447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969643$A3C3D692-BFE9-4522-B120-32F2340B0331","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc194dcd84771ab93cbdc7c8b48dbec56536f73e","datavalue":{"value":"reduction mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q969643$CA3EAAAA-1973-4557-9DED-D5B4583B77DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$D37DFCF4-A9C6-434B-B8DD-22D46FFE194E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$85F4D917-8905-48E8-80BF-A62317A3BB52","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":"Q969643$EC1A3534-D3AA-411A-AB5D-D98775E6A38D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a10c04a57606c5b213e60806984364cd1553748","datavalue":{"value":"W2137908781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969643$D6F34521-A3AA-4ECB-A0D1-B614CB06DD37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$CCA20572-12B9-4997-8CC8-52042D79E9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d29fb3e005d6546006a0c7c5ab5e472a7dea951","datavalue":{"value":{"entity-type":"item","numeric-id":3591402,"id":"Q3591402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$8FC63F7E-B4F9-43C3-BC84-08596AEB6C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ceb35a13808ea07b4f81ceceedac9c39a088f9","datavalue":{"value":{"entity-type":"item","numeric-id":3612484,"id":"Q3612484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$06BF8CBD-3D03-4D4D-8FBD-34DB74046646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfa42baf62b507b03385960a2763a583643376d","datavalue":{"value":{"entity-type":"item","numeric-id":1763725,"id":"Q1763725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$68A9D449-FB91-4868-B1E2-9E01D9FC5A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb59ec563cf19e056ea22838a6a0546203828e9","datavalue":{"value":{"entity-type":"item","numeric-id":5898163,"id":"Q5898163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$D4E301D5-DA5E-4B0F-A1A6-976CC173DF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d01c82deb16babe797ec68d83e4f94d3400b06","datavalue":{"value":{"entity-type":"item","numeric-id":860878,"id":"Q860878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$878AB63B-817F-4E0F-A202-02CC8EF45E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$8DA5507A-2B75-49CA-9557-202EF8AE2506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb3346e0185c1da292aeff371bc111936059633","datavalue":{"value":{"entity-type":"item","numeric-id":2506486,"id":"Q2506486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$B1B21813-839F-49A4-903D-902C42A53C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"723e66837e3eaa9ed00c0ef345a44f0f9354255a","datavalue":{"value":{"entity-type":"item","numeric-id":3612485,"id":"Q3612485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$D9FBB7C1-ABD8-464D-8BCD-F0306B96C90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$C5800EB1-427B-485A-9B0B-7899C09B60BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7bae4a87b29ab4740fd8151a7a3eb18c94bb3d","datavalue":{"value":{"entity-type":"item","numeric-id":4790410,"id":"Q4790410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$D1AAC5F5-76EF-4F53-85F7-B8033829FEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$B95E0684-95CD-4C65-9091-CB8E5419F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$40D5A740-24C9-425D-A028-0471F7BD1FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$98DA0F10-FF0C-4EAD-AEF0-F29EE6EBA748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c6990c5687f1e58a5998f16f500ed8af1f5bd18","datavalue":{"value":{"entity-type":"item","numeric-id":975539,"id":"Q975539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$1B388DFC-E4DB-44F3-B509-EF3F7E77A980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c68179a1bcbfe6ff9cd6018506cde54c1e0ef9","datavalue":{"value":{"entity-type":"item","numeric-id":843212,"id":"Q843212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$C5990A28-4371-4A75-8FBB-796C69311E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f5dbfdab882d83d3bf018d467653b2e1221e38","datavalue":{"value":{"entity-type":"item","numeric-id":1130164,"id":"Q1130164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$3C53BC3C-343F-494F-A334-6722B4089667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef0293b7d909941669f578e4fe0b01b4cc45fe2","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$7E79F2C5-873C-4569-9B1F-A9DF519341A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8afc731e5d6441c56e3bb93a4e64b3b4be6b74","datavalue":{"value":{"entity-type":"item","numeric-id":3614665,"id":"Q3614665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$D84CE69C-AF4E-49DD-A3A5-02BB8F205525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$16D1D080-F6BD-434D-865E-26169418A548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1cd885484862938176d5982fbf25717f102d36","datavalue":{"value":{"entity-type":"item","numeric-id":3969860,"id":"Q3969860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$DB018C49-1EE0-40CB-A270-2B76F33C9911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69748ef3fa98af04065fd0cfe9e1a38a753c281","datavalue":{"value":{"entity-type":"item","numeric-id":4223008,"id":"Q4223008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$6E27DD60-8B11-43F6-BCBC-40363FF99E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$6EF44E78-C79C-4C43-ADC9-0258664F3734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$CA14D934-1A20-4D5A-BEEA-E514D774648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4716e90af71d607f89f4b46161563fdea0f4d","datavalue":{"value":{"entity-type":"item","numeric-id":598200,"id":"Q598200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$B9DEF39A-9403-4E13-9100-961A0F432F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6be85f3b6e1d8ad379e0a2b2e28196476bf851e","datavalue":{"value":{"entity-type":"item","numeric-id":5308460,"id":"Q5308460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$AD386AD0-7D57-4369-A0CC-4581F5E44F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8add6eca3c6dd2ae7fc3ce748c3d2ad87951e723","datavalue":{"value":{"entity-type":"item","numeric-id":2503326,"id":"Q2503326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$BA4169DA-BEF7-4B18-89AE-CB77D9798546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$7F79F479-D9B6-48CD-8C4D-1F3896B06834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$4F582003-6BB7-4CFB-BBD9-A44E3EB2A814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbc1ba03c1632113c162fe83c93ac6393a0e884","datavalue":{"value":{"entity-type":"item","numeric-id":4038732,"id":"Q4038732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$1D4593BD-16C9-459E-9C95-D3537766332A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11fa4ef31786a7b84c1d1f1a37499b31976581b","datavalue":{"value":{"entity-type":"item","numeric-id":5716866,"id":"Q5716866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$464EDE6A-61E6-443F-9FB0-E11B7F3CBDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$278CA075-A8C8-4502-B4D6-96E49C78EF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$4E9E2F70-05BE-4491-BF9B-50A4A1D6561D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969643$1E6A9964-1A67-42DB-BE81-1B0DADDC02CD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"13bbda33c4a4ffbb6c42276f20e5515bf82925bf","datavalue":{"value":"Q57745625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969643$8A8807EA-4C9F-4C12-8F97-4C30AB6C549C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6e4ebc3dca56f21e92cf990b5522781cb7d8283","datavalue":{"value":"10.1007/S00236-010-0114-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969643$118099E5-72F8-46D0-B039-AD6B2E30D80F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d8b8b34a432e225c6b404e63f0cf4118843136","datavalue":{"value":{"entity-type":"item","numeric-id":1377607,"id":"Q1377607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f156894d71a0519415463ee2d5ef37ae7c82f380","datavalue":{"value":{"amount":"+0.7708341479301453","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":"Q969643$CD2466FC-E45B-4B72-8442-C1132C99CD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f044fa9d194c4a693b2ba6fbe0ea5a90cd1555","datavalue":{"value":{"entity-type":"item","numeric-id":975471,"id":"Q975471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0febedac80668abb80d277f112daae1cad43a40","datavalue":{"value":{"amount":"+0.7371441721916199","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":"Q969643$69E61ED6-870E-42C1-83F6-6C7EB61E7FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a787a4c613ab1ea1bbbbac1a60696d274fd6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":3525626,"id":"Q3525626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c35f7d80db21523968ad4f6f0f83d9ea64a2e585","datavalue":{"value":{"amount":"+0.7352675795555115","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":"Q969643$3B03B4B3-7532-4941-8BD5-D2B65448B66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54708c9a35465c94f07162270ea3ec8a605d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1763725,"id":"Q1763725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7298c66cdd71fbda5456e97106d761d28259f5c9","datavalue":{"value":{"amount":"+0.7258750796318054","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":"Q969643$B56E658E-18F3-48B7-BCF1-D91ABA937B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063226096497a80a4164c2a2628d8dc25cf60ccb","datavalue":{"value":{"entity-type":"item","numeric-id":3196348,"id":"Q3196348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33465f76c6d65639106f2ae34c79a77999ce5d3f","datavalue":{"value":{"amount":"+0.7230661511421204","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":"Q969643$35CE7000-BD57-4DA0-9BF7-6135CCCC21B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lifting non-finite axiomatizability results to extensions of process algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lifting_non-finite_axiomatizability_results_to_extensions_of_process_algebras"}}}}}