{"entities":{"Q1062047":{"pageid":1072799,"ns":120,"title":"Item:Q1062047","lastrevid":66743472,"modified":"2026-04-12T12:33:18Z","type":"item","id":"Q1062047","labels":{"en":{"language":"en","value":"Process logic with regular formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3912351"}},"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":"Q1062047$038F2664-324C-4B60-88B6-141A29072492","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1df218051cfdda5313e349deff5f9155cdbd2571","datavalue":{"value":{"text":"Process logic with regular formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1062047$42F8ED20-405D-4D58-8BF5-10B737E5AE26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02a1b6d1339b57ba5078cd60341b019ae5c31e05","datavalue":{"value":"0572.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062047$32B68A5F-3225-40FF-903C-51E867ED05E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f411ba45b3ad7e1c892d8eca75528a314bc9d38e","datavalue":{"value":"10.1016/0304-3975(85)90225-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062047$982DA93B-B779-4F9C-A900-F841499E569C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$D027CDEA-3DF0-4ABE-BFC8-44A4E5ECB43A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1062047$78884237-150B-4AB2-A668-A185FF537FDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a3ee01f60f2476794d17c1c991d4e1379ff9df3","datavalue":{"value":"The reviewer [Acta Inf. 14, 359-369 (1980; Zbl 0423.68005)] proposed that dynamic logic invented by V. R. Pratt and temporal logic exploited for computer science by A. Pnueli and his school should be combined to yield the right process logic. In response to this suggestion, \\textit{D. Harel, D. Kozen} and \\textit{R. Parikh} [J. Comput. Syst. Sci. 25, 144-170 (1982; Zbl 0494.03016)] succeeded in presenting a decidable propositional process logic of a natural axiomatization. Keeping this line, the authors have made a great step toward the right process logic by using the operators chop and slice instead of f and suf. Most of the technical discussion here is devoted to showing that this new logic is more expressive than the formerly proposed one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062047$95C06471-2693-443B-BF23-4C9455D91458","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062047$D3573C1F-BC2A-49A3-BC1F-1D86B8111F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062047$4AF8BA5C-8F24-436B-B7A7-51E5291036B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14473c0a6f9f3ad60e034afdbffeb2460920afca","datavalue":{"value":"3912351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062047$3EAD0D13-EEF6-4ACF-B90A-E35230059FA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062047$E1F582FA-5C23-4534-B27E-890EE36AED1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062047$252CB80A-F94A-44C3-9F08-1B90BD9AE388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae660d0f8ca2f70c64788b6c96e91d468d90f5f","datavalue":{"value":"decidable propositional process logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062047$EC1285BE-2DE5-4064-B611-5920EA1AD7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e90b2d4ef511acad62940dba8a861c227541ba1c","datavalue":{"value":"chop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062047$3314500B-61C3-48E7-8A26-880FF94E13FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e71294c7e41294c830e5dd175d41f2cbef8e91dd","datavalue":{"value":"slice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062047$694FC24B-8691-4A13-9911-7C41CA320046","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$CA7C6AE1-B31C-4D9E-9A20-FA35687C9518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27618d3afb5e8d09bd379eb0df3ccd8566897b24","datavalue":{"value":{"entity-type":"item","numeric-id":244948,"id":"Q244948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$D51871F3-AE19-42E1-A4A6-D6170AAF052F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$315F31D3-1CEC-45BE-9653-C0CF716D6748","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":"Q1062047$EC22144F-D526-4830-9636-A16D3ADF7969","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9104456b1fbead04bd768fed313d8dd45cc7f8c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90225-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1062047$23762774-10A0-4E4C-9BB6-FC588A788085","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96a4032e8e702909ab6fc11207351841c07184b3","datavalue":{"value":"W2044206530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062047$E95D9A33-E26A-4948-8FB1-6AC3FDB195ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9e735882f0114d9d1bd74d7bde93766d995370","datavalue":{"value":{"entity-type":"item","numeric-id":4065051,"id":"Q4065051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$0AD25FB7-C44D-4E68-B9CC-FC31EDBB963B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3981b48c20479d564227a1c00311eb50d729aef3","datavalue":{"value":{"entity-type":"item","numeric-id":4094352,"id":"Q4094352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$14D5EE18-CDCF-494F-BFF9-6D1A610ABF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$C65D5DE7-27D6-4F1F-9AE9-9CA116AB0331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2dc7428a701302ee60a912ba787cecd46fa536","datavalue":{"value":{"entity-type":"item","numeric-id":5600863,"id":"Q5600863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$08887DA7-1C8D-4EE2-91C0-4036B3528DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$5FE7C14C-FE53-4BEA-84F3-2DED621C8807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$7AC975D3-861A-4D90-963E-409B212F00DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$A756C80D-07E8-4E68-97F6-FA7843448ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc973fbe6c4ef0b1a59fedf5a2ab788f8f7be69","datavalue":{"value":{"entity-type":"item","numeric-id":755290,"id":"Q755290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$F0A22316-12A5-4F06-AB4B-224DAE2DDA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$B592BA62-F5A3-469A-A7BB-3C82CD70E2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4b0bcc7612754d8a1b8a8945a6a478f1175f0","datavalue":{"value":{"entity-type":"item","numeric-id":1168965,"id":"Q1168965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$E3668B4F-DFF2-45E9-831B-13DE3176CB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$1B70130C-0D19-43F2-A090-5F6CB4C1C5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$B03BA58F-A31F-434B-BDE7-59937A997D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$240B29B1-2E6C-469C-ADAE-0EED17D18F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1235aa2b8995c7873b7217a80941542799336eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1134512,"id":"Q1134512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$A141A185-3662-411A-A4E6-607D0C34F98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1049de77926f55cea451c4224d65bb924178a1d5","datavalue":{"value":{"entity-type":"item","numeric-id":1062047,"id":"Q1062047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$9523A6E4-EA4F-4B8F-B207-29F5FB7EC8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$513F7D63-5461-4342-941C-B90D8D46AC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$D893A94A-350E-4518-8206-AC1D1EEF598D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0f35ef5657e712d039ef4b0b880ed045a3c425","datavalue":{"value":{"entity-type":"item","numeric-id":3343430,"id":"Q3343430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$E523B75A-7764-4F00-B5F9-8767C7518560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342e773b9e30385be9547647e572658e43d226c4","datavalue":{"value":{"entity-type":"item","numeric-id":4198738,"id":"Q4198738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$F95BF32F-6EC6-4B08-95B8-6ED2549717C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062047$E5E0D0BD-A14C-4890-AEE1-75FD27D66B98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb531e104a668fb786141633d01e53847c2b80f","datavalue":{"value":{"entity-type":"item","numeric-id":3713595,"id":"Q3713595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9306f816d5eeb2d7a3b57953e57f728e04339e53","datavalue":{"value":{"amount":"+0.8582182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$BE6A8EFE-992C-4EA1-84BD-80ACEBD34E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2b7f7bf755abc1b03030858f3ceeca5e3c6d81","datavalue":{"value":{"entity-type":"item","numeric-id":2875077,"id":"Q2875077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c2e994b408e3c0fce6627ca2d8dff941a238ca","datavalue":{"value":{"amount":"+0.85539204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$133DD71B-226A-4C97-9158-E39C6037EA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662f513c1fe02d885b44f5224b251af20d9f189","datavalue":{"value":{"entity-type":"item","numeric-id":2842601,"id":"Q2842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63eebe9de244f859694f38f636841e70c0f22a81","datavalue":{"value":{"amount":"+0.8438453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$80CF880B-CCA5-4B3D-BB86-2E40CFBB19D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c03ae80b24e87edcfffe94a928ffb46195c7a6","datavalue":{"value":{"entity-type":"item","numeric-id":5111622,"id":"Q5111622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d9d33656f79bd7e9fe07f8766013afc2fd9a3c","datavalue":{"value":{"amount":"+0.8330076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$E8393E67-6A80-4AAD-90F1-7937F3C972C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d034546bda9f8d6b814073a4a6301b8eb9ecfe85","datavalue":{"value":{"entity-type":"item","numeric-id":4972733,"id":"Q4972733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d9d33656f79bd7e9fe07f8766013afc2fd9a3c","datavalue":{"value":{"amount":"+0.8330076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$9E6DD04C-1487-4990-9A76-57594E9F30DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857ef8f553bc3e25748e146ad8215d2adbcb6bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1092892,"id":"Q1092892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60631e95081b310e3a46ed37ba5e5871dab7b58","datavalue":{"value":{"amount":"+0.82919896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$CA8E6DFB-84B1-4BB9-BCBE-9B0F33295729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c81a0762ea02fe180ae28bbea5717823f5defa","datavalue":{"value":{"entity-type":"item","numeric-id":3343422,"id":"Q3343422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c559084da5f28c16ccfb3606bb5050c5fad03fb8","datavalue":{"value":{"amount":"+0.82657963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$F9947F6A-0712-4251-921B-798CD9DC5169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6099bd0c90fb1b5c163a26b397ff9d7505301a","datavalue":{"value":{"entity-type":"item","numeric-id":1822224,"id":"Q1822224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618bd58b5362b01bcd5ce20c11192b3900b30814","datavalue":{"value":{"amount":"+0.82414913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$0A2F9C0C-F119-4469-9EF3-E8150A5EB1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ec264743377fe3efcf2cc5d39476a432a168e5","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a79fd502cc514fad80002414a375e4cfb1c204","datavalue":{"value":{"amount":"+0.8144484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$7FC326AE-E98C-4935-9C4E-3A89E4F6B171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1eb3fee6fa665c4bb4f7f9313b9dcbd1884168","datavalue":{"value":{"entity-type":"item","numeric-id":4260381,"id":"Q4260381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab81d0805e099d14997239e2bcf1ecadf605925","datavalue":{"value":{"amount":"+0.8097748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1062047$D0B5942E-7A48-4AD1-B1F8-D47EA66A30D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Process logic with regular formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Process_logic_with_regular_formulas"}}}}}