{"entities":{"Q1749477":{"pageid":1760219,"ns":120,"title":"Item:Q1749477","lastrevid":53083289,"modified":"2026-01-24T04:44:51Z","type":"item","id":"Q1749477","labels":{"en":{"language":"en","value":"Completeness for the modal \\(\\mu\\)-calculus: separating the combinatorics from the dynamics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869328"}},"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":"Q1749477$943DD8AA-D9BB-4568-889A-77AD7F2AA167","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8005c7d35d555be2d295f5b66170b8b99e121b6","datavalue":{"value":{"text":"Completeness for the modal \\(\\mu\\)-calculus: separating the combinatorics from the dynamics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749477$7F711A47-2305-486D-A1E3-E625E3F6F75F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39b79dbe6740ed938fd8581495a4e8a47342885e","datavalue":{"value":"1391.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749477$38601433-BC27-4160-8D48-5457FF2965B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$CDFA6570-8289-45CA-938F-6272AF4B534E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed8d7a8df45b03690f51dff23fdb3cd8623bace","datavalue":{"value":{"entity-type":"item","numeric-id":1731841,"id":"Q1731841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$0742C82F-357A-4AD8-8385-BFFA3249CD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$BB5FE238-A1D5-444A-8C12-0D894D458909","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":"Q1749477$36E07B33-66E0-4E55-9325-8C080FA90872","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c01739a4214e1a2ae2105a086153c18669073f","datavalue":{"value":{"time":"+2018-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749477$DDABF2C0-81AB-47F4-808B-2BA0D463FF4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749477$4A1C92AD-0389-4610-8B84-BFCF54B389C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749477$ECAA09D6-36FB-4067-B4A1-48625FF739A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749477$0415F609-6DB6-4833-885B-BBAEEAF058EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749477$AB19D02B-6784-4615-9F63-53696319647C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749477$5515CD4B-950F-4725-83B1-46470184D885","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0306d1185c68d4be8d49ab72ecd49869d233593a","datavalue":{"value":"6869328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749477$5F19EED3-997F-462B-9AB8-918BBEF34885","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749477$2D666999-85C9-437A-BAB2-06AAAD7F0F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90349db19b3cd1f9411abfa2b48e3dab0925ab77","datavalue":{"value":"modal fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749477$8CCDA730-8BEF-43DA-A62E-F07A6F47D55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749477$1148A50A-6ABC-4CE3-A804-B9E3EB322B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c20266b4690f90eb91dd776a8bed0fe154b8859","datavalue":{"value":"parity automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749477$4C7C7649-BDBE-457D-981D-97CF92E98113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9990370dd0c067c8312dfaca782543e55e0052a7","datavalue":{"value":"infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749477$59B11BCC-71B2-4E9B-A3B2-012BC51F3C16","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":"Q1749477$0EDACDF0-D6DB-4FE1-B826-276A2FF7936D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"471c56d08dc659c53f29507315b948269f2ef4ad","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749477$5A4950A2-AE6A-4E16-993F-3BAE9893D7E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8981b0f51b462d0ce57997747ee1410e4956d19","datavalue":{"value":"W2795525569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749477$2B5E0724-D222-4AAA-837E-723E78AE914F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$E7C53A7F-11B8-4A87-90B6-574166358272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$D570766E-F0C6-43E7-AF55-B70CF5241E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$BAE04813-78E1-4A75-A471-E91C0EA95ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$BFE50743-EC62-4480-B486-9995BFFB0CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$253014DC-AD03-4E49-AA03-F8FBC7D56DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$D595F17A-3056-4FF7-B7C7-6675D8CE1A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddadb34f3f01f83c600aa6e78ae526fd26cd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$1F295786-E90B-4592-8E01-7233469401A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$E5947419-75B9-494D-8C1F-21D0CEE847B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$41860E1C-B1A1-4E97-8396-750ABED73587","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":"Q1749477$C01B985C-261B-4A14-8953-EBDD58757321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4c44053722d7d89141d98a75a5ec1bd92c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$595E7D16-D615-4304-8C40-4BD1F9A56B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$5483CE44-AFDA-40A0-AFA7-E4980D4B00F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4469a2dd21a9103879f4f01845b2137492455979","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$0848AD00-55D9-47F7-94B7-79884472A21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fff4527a15f516b6aa5691a6a2c8cf2aa2988e5","datavalue":{"value":{"entity-type":"item","numeric-id":5278080,"id":"Q5278080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$259E168A-5F92-48B7-837E-EFD9F98CFB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2411e155e78539089c75ed80338bd36759f3975e","datavalue":{"value":{"entity-type":"item","numeric-id":3587454,"id":"Q3587454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$0CB31641-35B2-45C1-AC32-49E48FF8147C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc8cfc16a578ccbebed44ac68761554ae34c570","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$2006D95D-ADC0-4E23-B6E5-F08CAC68BA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7e0536b29168e39de471af102be2b186faa1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1346245,"id":"Q1346245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$ED7F99E2-9BCD-4F65-9718-0837C1319A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33f49071215bd1fb16f87f68dd7a73a48caaf0b","datavalue":{"value":{"entity-type":"item","numeric-id":515566,"id":"Q515566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$DBEAAE40-8EAA-4E43-B8CC-B0B8C32FED50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$E50DBE39-DB80-4B5A-A238-4A579D92D8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4809d0a3f36eea3885a973affe8141566cc9e5","datavalue":{"value":{"entity-type":"item","numeric-id":941442,"id":"Q941442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$CC1FDE5B-2615-433F-ABFE-A22050DE7FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$7C60D056-233D-4AB7-9555-543F942C54B7","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":"Q1749477$A8BD6061-9BE9-4846-AE7D-CC9CFBEE8691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bdb5d956e90424f31a7cbce2d1ceb47b4dae16","datavalue":{"value":{"entity-type":"item","numeric-id":4395610,"id":"Q4395610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$C7D3FE43-48D7-4389-807F-48378D79684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$2E8117AB-4DAA-4ECE-9B83-D846C4558F43","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":"Q1749477$D8CF656E-9016-4350-A8D0-4D78313BA5F4","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":"Q1749477$550C77BC-CF63-4716-BFF2-6DB057397E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c4ff74099bb516efd01e98acb584345fd70589","datavalue":{"value":{"entity-type":"item","numeric-id":3000616,"id":"Q3000616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$A34D1C4D-60F2-4977-9335-F8BF404DAB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$FBED1F3B-4FC0-4775-B834-1F10B6AB6DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7d501eca45f4e70219630914fce9c6989711b2","datavalue":{"value":{"entity-type":"item","numeric-id":3753490,"id":"Q3753490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$FF6ADCD6-F417-4FBF-917F-7197F7D00A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$85FB0B40-60F8-46E9-B097-6505EB9B20A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$6BF7FCD7-38A2-4D51-A1D1-07499CDD7DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$6C3B8C68-3F5D-46CB-949A-DEA708120635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$AEB95327-4C8C-459D-9119-07D4A9F1D07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$189D9645-B80D-49CC-AE71-05E237A7B9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$9838AB9F-701B-42A3-9318-0441D2FD2AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$A9B30F87-A21E-4F28-969D-5049A9CFDD48","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":"Q1749477$FEDDBFBD-53EC-4F3C-9A50-DB08797AEFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$557791F0-ECE6-4595-8B29-494A7758FCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4155ec1979bcff48fbade25963b9a4724d46a2","datavalue":{"value":{"entity-type":"item","numeric-id":5960406,"id":"Q5960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$99BE0D6C-976E-48C9-922B-AD530BDF0854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3c80b500a26b9f2863ab05df3b7d3242e9625e","datavalue":{"value":{"entity-type":"item","numeric-id":925850,"id":"Q925850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$7F3F688B-6EAB-4FAD-A592-97A3CB17F933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc0a1af3db5bb1682b803cc71ecf7791eadfaf","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$8B48C721-E529-45E6-BABE-67CAF8748EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c88c2000cc742f79a0696cbd6770a20218f4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$F77DC98A-C043-42F0-AFB6-47C672B91812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50717835f7f6961b0d32328866377521644caf81","datavalue":{"value":{"entity-type":"item","numeric-id":2946571,"id":"Q2946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$0C4F76ED-D9AE-429F-A62F-BE21192F0AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd05b804471fb42e7e0335e51ff93f3a7fd1aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3056300,"id":"Q3056300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$36BCF5EC-71FA-4FCB-A8E0-3110E0FF1A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$9646C8D7-0D43-4585-9AB9-95D141B6AF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$D4DE5980-A9F2-4B36-B4A8-0414363DDAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fcbf5caaa06d9b2136bcb161b6786ad2aedc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495648,"id":"Q2495648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$5058ACB7-A21C-458D-A99C-9FD1FB4A5C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08130677d950f0e9764f0a4bfbc64de21effa2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$44DA1AC0-BE62-4E16-94D5-17026CDFD644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$4E071B57-6C3F-4337-83C8-9C05171DBE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749477$5EB7B218-EF84-482F-9398-2F4C40AFD0B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdcb4bf88e536bf413ac2cdc3ba9a3ee1676ba58","datavalue":{"value":"10.1016/J.TCS.2018.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749477$C0C12D36-ABA5-4C94-9618-36298EB8F64B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095654446119627593dfe20de7d001e2b3bc950","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd39ac9d2c1b7bfe98eb32f1a665fc36b0bc8869","datavalue":{"value":{"amount":"+0.8765658736228943","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":"Q1749477$A5566B22-17D6-4CD3-B8C8-396AB11A0E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e6bebaf77674477110e407efa15aadf6929a94","datavalue":{"value":{"entity-type":"item","numeric-id":1731842,"id":"Q1731842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830d97e3aef222b6fd0adb1f4736810656f59f21","datavalue":{"value":{"amount":"+0.853757917881012","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":"Q1749477$4E7316DB-F9F7-4602-9770-15C237CD63A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c6343f32cd8650c017ed3dfca336f2278aa42b6","datavalue":{"value":{"entity-type":"item","numeric-id":5689266,"id":"Q5689266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca995da302ad6ac44267eb855e910fe5a98e21c5","datavalue":{"value":{"amount":"+0.8473469614982605","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":"Q1749477$C7CC6AE9-8CD1-4905-80DD-93EDC74475B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db214124eefd1d743b7e6cd8dcdcb45979680f2","datavalue":{"value":{"entity-type":"item","numeric-id":671986,"id":"Q671986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225d9e51a3777ed0e4259add5aa1944c047b87b8","datavalue":{"value":{"amount":"+0.841299831867218","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":"Q1749477$11B732DA-3739-4AFD-8923-4671F37F2C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd8d09dee35351337ba4b36d9abb40279abf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225d9e51a3777ed0e4259add5aa1944c047b87b8","datavalue":{"value":{"amount":"+0.841299831867218","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":"Q1749477$0E349B74-A265-4454-AA3E-F0161F2C6AF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1749477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1749477"}}}}}