{"entities":{"Q269503":{"pageid":271270,"ns":120,"title":"Item:Q269503","lastrevid":42130591,"modified":"2025-05-23T13:49:46Z","type":"item","id":"Q269503","labels":{"en":{"language":"en","value":"Satisfiability of \\(\\operatorname{ECTL}^\\ast\\) with constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6570317"}},"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":"Q269503$A71A7F0D-1C32-4DAF-9B2C-78116A5E94C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de0022a3a5c6dc8bb646c229a5d2191179723546","datavalue":{"value":{"text":"Satisfiability of \\(\\operatorname{ECTL}^\\ast\\) with constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q269503$A25FBC04-BE6A-4DAA-BDDF-A990C6E0E830","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23c05afb5daaee3fe19b0bc1ef6f060d759f7589","datavalue":{"value":"1358.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269503$C5C85C11-B7FE-47D3-8E55-CAA5088FCD21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0304269a52369b78f1d53e7a704975278af2eeb","datavalue":{"value":{"entity-type":"item","numeric-id":269501,"id":"Q269501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$AB8C0747-405F-4484-BD38-5D4AF4A9D7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06012f2a57f37290b6cc56ae38272af569718724","datavalue":{"value":{"entity-type":"item","numeric-id":269502,"id":"Q269502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$02D44212-9F9E-40BA-93E3-F9CF7F9B3B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$5FD840F8-9AA7-4AEB-AB39-0FE9C80827E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$E8AF2669-20AC-4708-A768-537E553260DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221f8c354403e327893474d648066a9723d1c68f","datavalue":{"value":{"time":"+2016-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q269503$9567F5F0-29B2-4B96-98B8-49504142F474","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a6215cd550709475e8282338749ca92cea02dd0","datavalue":{"value":"This paper presents a study of a certain extension of the full computation tree logic \\textsf{CTL}* by eliminating the path formulas and replacing the temporal operators by a general framework of automata. The resulting extended computation tree logic \\textsf{ECTL}* thus has no syntactic restrictions on the applications of temporal operators and path quantifiers, and can describe regular (i.e., \\textsf{MSO}-definable) properties of paths. While the original formulation of \\textsf{ECTL}* makes use of the B\u00fcchi automata, the paper under review replaces the classical \\textsf{CTL}* path formulas by \\textsf{MSO}-formulas. As the main result, the authors prove that satisfiability and finite satisfiability for \\textsf{ECTL}* with certain constraints over \\(\\mathbb{Z}\\) are decidable. It is also shown that the choice of the mentioned constraints in the form of certain path formulas is necessary for the result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q269503$1E25E9FD-5F0B-4EAD-86B2-264D4211DC64","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb5a4a2c374444b66a40fc8d22c526516814731e","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$A0483CDA-D3E5-462D-97BA-F031A1395046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269503$565F6C71-980B-49F9-A897-4BF50145CD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269503$5CBBAD97-E8A3-4B1A-B0C4-CA5C6D1A3F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269503$BF8220AD-6F6A-4098-A165-838275F73166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269503$973B320A-EEA1-4B73-8F17-AB95C28EE882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269503$3B9A8FC1-5DB8-44AE-A217-9C0A76DEDD0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5056d1c59769e2be0f1baa2209419ed1844d0e75","datavalue":{"value":"6570317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269503$5EF0A0CC-A962-49FA-B5E8-E8D38666F28C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q269503$9BF11B8C-E3C5-40D2-9AF8-2B696645CC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q269503$2A2671F2-0DCF-42B3-B021-3BE2ED9AECA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5ca7852412b0c4c7bdd5c16e0d321f762d7cacf","datavalue":{"value":"extended computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q269503$96EAE637-2D89-411E-8D98-FD515932B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9dccb168109787e5768e7d5ffce59df3084f5d1","datavalue":{"value":"integer constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q269503$06002D31-14D1-4177-9630-D12AAB5392C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0916f7d223b82fcc227b5a35a8e4da47c9e2635e","datavalue":{"value":"bounding quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q269503$D3E05F08-30A4-4ADC-8AC0-C0DE67390932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q269503$C0FF1FED-9260-463E-AE0A-3B038BDF19FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q269503$6BDECB93-7287-46FD-9317-AA96C705A71D","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":"Q269503$F2A10A35-0A32-4B73-9A4D-D20E22E5B4E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eca9757cba5d6455f74ba9cd8158aadfccb4267a","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2016.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q269503$F83C570A-9E48-496F-9C9C-5C3E2A28C198","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f2956e64da482b8bfdeadf695b2ace314c0db29","datavalue":{"value":"W1644422701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269503$E9433CF1-BB63-4AE7-9954-28EA77B5DCC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3faefa91cb38d80ce0012441421cdf35901930","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$E007A3BA-409D-4361-8689-33AB5E113F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30f84725f6251bb42b22c0899c4da6b339823e1","datavalue":{"value":{"entity-type":"item","numeric-id":5387893,"id":"Q5387893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$AEA8FB0B-1F67-4938-AF0B-214A31FA8167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133400a1553ddb8e449ba494cb53d6f3edd02622","datavalue":{"value":{"entity-type":"item","numeric-id":3194710,"id":"Q3194710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$DDA92290-2578-4639-9AD6-88A0D0EDB715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fdad2a9fa196601b6354a6ce60636f0d1cd1af","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$7D25E430-1334-46DA-A313-80AEFFCB2E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d311469a36c527273031e73f990f801dced9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4632414,"id":"Q4632414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$940E5431-F845-49F5-9666-09181FC20774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65180487d55de678beff9f15b2f64281465aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$2BA0A15F-9875-4624-9EFE-13AC2ACAF70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$C6C75C12-5598-4004-A485-FFE7C7149E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c83f832cc8a526baffc93f02c4bcc6effad64f","datavalue":{"value":{"entity-type":"item","numeric-id":2826034,"id":"Q2826034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$A63C2FED-5A22-4FAB-92B7-2B5DC681AD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$C38D4A69-6C40-4B11-B808-526792C0AC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9688b3c493712ae528b93ab8b3c189e13a28b9f7","datavalue":{"value":{"entity-type":"item","numeric-id":959820,"id":"Q959820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$1B2E8978-9C4C-4B04-9054-CB3C6254E82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$B70390FA-0E39-46C7-9F7F-C8C9AD92C2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47f65050978763125f39591ffb7c17676c0343d","datavalue":{"value":{"entity-type":"item","numeric-id":4379555,"id":"Q4379555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$D7B7ECEF-86FD-49C6-A26A-A9EFF4DF1CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$07271441-156F-4D67-A234-0ED2FD7FD923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88ddfea9e9c1fa373414687024f026b9d8bafcc","datavalue":{"value":{"entity-type":"item","numeric-id":5179062,"id":"Q5179062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$EF4886F8-F02B-48E3-8164-2D5300805FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$E987B888-73D3-4E7B-B672-A1C8CD8FEEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$F7110069-5BA3-4AC4-9740-9FFA31D6C6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e69f0e7b4cd65dc00db9b20bcbcc64488b4a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5465445,"id":"Q5465445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$F8A95503-D22B-40F2-A83C-CB6932C58A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31565222ca1fafb516057e574f0cac854b471ab9","datavalue":{"value":{"entity-type":"item","numeric-id":814545,"id":"Q814545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$6159600C-A252-4D73-AC16-41E0D9604EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbccbb9b9788f4a33945ee539b10b52d6047d1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277711,"id":"Q5277711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$0176EAAB-4171-47B5-9029-4FD1253F99C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a841d93702a8b7c6ebf07a2f92008689526bf20","datavalue":{"value":{"entity-type":"item","numeric-id":877890,"id":"Q877890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$4D2B85E5-85C7-47BA-8420-72FB1A0815A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$66C06281-2438-436A-BB6A-72DF1BB916A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$18CC187F-5986-4003-9DDF-151C626B8B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5b71b7e6f84e554c58be41609ee5d08fb2e826","datavalue":{"value":{"entity-type":"item","numeric-id":4733423,"id":"Q4733423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$973902AB-B434-4524-8C93-56C9A2164222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$0708F4AE-BD9E-4EEF-BA16-0B8C3DDA9532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269503$98F6F4A8-058F-4007-9690-81188B4FC898","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":"Q269503$4BEA0141-E847-48BE-9848-27078D7D628D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c04950e170a3830bf676fa73c23187c740627003","datavalue":{"value":"10.1016/J.JCSS.2016.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269503$6F734EB0-6A58-4B20-8041-4CBF38042A5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea7118cf616a7d0b2c6d837aadd97c3f63cf587","datavalue":{"value":{"entity-type":"item","numeric-id":3194710,"id":"Q3194710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db82b92cd0976b0dcb38fa7df511541872df6992","datavalue":{"value":{"amount":"+0.95114833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$BE136896-8530-4A22-8164-18BFA02195B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac97009fd0eee5d76f5db5dfc3815a7e021dd25","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d26ad88ddc7744dbe04a9a5a4262ca9858a083c","datavalue":{"value":{"amount":"+0.9341333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$7D35B535-FA52-4ACF-96B3-AC251ABA59A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90d726516ba4720b6d55b041f2c97937227d0f5","datavalue":{"value":{"entity-type":"item","numeric-id":2411048,"id":"Q2411048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2225816b32f2867c37b03f2041d251c55f52b519","datavalue":{"value":{"amount":"+0.9167652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$3E017270-8493-43D5-848D-6094B38BCD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747fa5455a63cc89e9a91d2e5401febe696e1381","datavalue":{"value":{"entity-type":"item","numeric-id":3172864,"id":"Q3172864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4f9a6c7792e336ef0e07842cc9a3f8be9156a0","datavalue":{"value":{"amount":"+0.8780263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$CABDDBC9-275D-4EC9-B259-20C226C4E03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e86a356e7af129cb8494580f1044ca91d6232ad","datavalue":{"value":{"entity-type":"item","numeric-id":6483555,"id":"Q6483555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867b0fff24a9050362f37e075419647f66365abb","datavalue":{"value":{"amount":"+0.87133455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$7BBFECEA-F46F-4AF4-959A-6ED39ECFFBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6dfaaa35ffed249c21e5232a3369e134a419ff","datavalue":{"value":{"entity-type":"item","numeric-id":430830,"id":"Q430830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0d9a6fc88aad9823ae67fab1b3407ff79473d7","datavalue":{"value":{"amount":"+0.8651799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$1B1831C6-0900-4926-BA68-0A42265A9C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f26fa14b06349bdf1877ace2d6f593ffb319acc","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93e4c6fece292be74cae2d29f93ccbd21f395d8","datavalue":{"value":{"amount":"+0.8612554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$63345AE9-EDC8-47CE-9BA4-E66B4B2EE669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964b3feb62831eed51fde8a66b937819739b4f16","datavalue":{"value":{"entity-type":"item","numeric-id":2908839,"id":"Q2908839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93e4c6fece292be74cae2d29f93ccbd21f395d8","datavalue":{"value":{"amount":"+0.8612554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$A732FC04-3919-4626-9A24-A833C375158B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594223055631fa30a4b664f19e8d98f03aee1591","datavalue":{"value":{"entity-type":"item","numeric-id":4649540,"id":"Q4649540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7bb7a73e793e02880e150e55ec94266c29147f8","datavalue":{"value":{"amount":"+0.8612378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$AD4EAD1D-E427-46FF-92E9-C0AEDCF37455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fdd04b9e97b9f626cd619864ff72df85008701","datavalue":{"value":{"entity-type":"item","numeric-id":352963,"id":"Q352963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d74ed5d3090fdf6a00991deed12f404be1c12f","datavalue":{"value":{"amount":"+0.86071795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q269503$4E858D55-55A2-4D37-A5AB-7694CEEC2E67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:269503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:269503"}}}}}