{"entities":{"Q418783":{"pageid":420550,"ns":120,"title":"Item:Q418783","lastrevid":61696344,"modified":"2026-04-11T01:02:01Z","type":"item","id":"Q418783","labels":{"en":{"language":"en","value":"The sweep-line state space exploration method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039173"}},"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":"Q418783$795F5B9D-07CB-4C1B-A0F8-679DC700ED16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24700bba9ee8a2c32c8c4e47dd829ca7b4c40c20","datavalue":{"value":{"text":"The sweep-line state space exploration method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418783$946BADCA-E719-450E-AC2F-8DCE4C0127AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb20f6101501f8b8a5a954fee3c45980da6f05cd","datavalue":{"value":"1238.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418783$6C122D34-25C1-4589-8DC1-067B24F47C72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c7bddf495aa9b5e787f66f1f64ad72a107a302","datavalue":{"value":{"entity-type":"item","numeric-id":418780,"id":"Q418780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$427F6F41-F4E7-48B7-8202-B88B6537F8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8770f279fc0f1059844e6522d062b70c52109fde","datavalue":{"value":{"entity-type":"item","numeric-id":418782,"id":"Q418782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$92FB6FC9-90D6-46DF-A7CC-3E0365313E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3ac8b732cf333e6b12ba0f543377c635e7c488","datavalue":{"value":{"entity-type":"item","numeric-id":1768478,"id":"Q1768478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$B9CF85D6-E123-4453-85FC-3D1752654F0A","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":"Q418783$5FD78159-5FAE-45F2-8EE3-19D0DFEE25A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418783$90BC2A9E-AF85-4B66-A66A-A76199ADF495","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418783$E6C300BC-FF78-44CA-A5C1-921E82586EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418783$448AF2ED-0504-4EE1-804B-62B86FC5E96D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25d6bcfdf94bdcfc540cd5c01156b03760745988","datavalue":{"value":"6039173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418783$CDB0EE16-5381-4F52-B380-695941799E21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffbccb03782c60d929c73155aed60fb9fce702e3","datavalue":{"value":"explicit state space exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q418783$75A86C87-5A20-4CCF-B4E7-1F42411CB677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q418783$56EB5FF5-A089-4EB2-9282-4825AA2A7A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q418783$2871D23E-96CD-474F-B4E5-F652893CFB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q418783$071F3BF2-84F4-4E75-A60A-9CB0513241A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab914e4b1ee636749aaff08903c675f2353b5ff","datavalue":{"value":"state explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q418783$805AF149-E187-497A-A733-760C251B6BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed209c63ee45eaaba1b6488a341179c94dfe116b","datavalue":{"value":"sweep-line method","type":"string"},"datatype":"string"},"type":"statement","id":"Q418783$02123CDE-FC68-46F4-AEC7-87C7BF103D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c826a5780d22d9a174de51c3a633554aea0a5","datavalue":{"value":"coloured Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q418783$E2B0E967-52F9-4052-BB24-7EE942F2277A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0fe80dc49b108fcb226f4a0c1fb27df4e8c95a90","datavalue":{"value":"Q58624699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418783$0EAD754D-2255-49DE-8FA7-0D1697A98BFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a987d68805e598217b64498a861f88f6be67a629","datavalue":{"value":{"entity-type":"item","numeric-id":14001,"id":"Q14001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$FF95DA3C-EAE1-4264-A2EC-562C5E6A906A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32f6b67f636d3b4ff87f78d227dd0cfe2d2c4d39","datavalue":{"value":{"entity-type":"item","numeric-id":14500,"id":"Q14500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$6EBD73BE-30AB-438D-98B9-B7EEDC570C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$A75FB9EA-25C4-4C86-911C-0C0235131FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$471811EB-110F-4F19-8FA6-8F5E63E7DEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca6f770bb1191c12b22fb9edfc51e5641f798f63","datavalue":{"value":{"entity-type":"item","numeric-id":16557,"id":"Q16557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$1D4C20A5-7D5E-4677-94C5-3CFFB4E1590E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05c59994820aa6b8e0f0d976d0973f2b80ff379b","datavalue":{"value":{"entity-type":"item","numeric-id":33945,"id":"Q33945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$33A7B99B-CB03-49BD-916A-E2F25E8D9296","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":"Q418783$9259337B-9E91-48F1-9194-5C01994FC8B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c50ee4bf2d993831a840df58852ed157fb1072b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.12.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q418783$07027608-5DE5-447E-90BC-A4676A136692","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6d23d1f00d944f271594d0ec625fe9e512cafb3","datavalue":{"value":"W2133556419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418783$889F80BD-C91E-4FBA-957B-A509A56D35A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$53E09040-E277-4A9D-8E0B-F64193347C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$AA029227-A62C-4916-998A-FCAF5CAB3475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$0900BF49-D6C9-4EB9-96F3-F32919A6FA73","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":"Q418783$0F900BD5-B5AB-47F3-BE28-DD881B56FE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$9E35FB5C-242C-4CE6-8B5B-AB1920D44D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$B282C47A-7013-4043-BBDA-EC6ED9724FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$4FC3B941-59D1-4223-AAAD-DACB4D348BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af915488af489df7f09b16bdb60f05e12a8b839","datavalue":{"value":{"entity-type":"item","numeric-id":1273576,"id":"Q1273576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$444B87BB-82C4-42DB-87AC-F057689FDC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd325ed68a6335c3158303131fa38fcb65823a1","datavalue":{"value":{"entity-type":"item","numeric-id":1856177,"id":"Q1856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$F3FCA57E-67BF-4AC1-909A-48D297E3C917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080d558efd8fa7953c9aae8f03262d6c5bf39db9","datavalue":{"value":{"entity-type":"item","numeric-id":3612946,"id":"Q3612946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$C03D0677-44C6-4B1C-8D28-C3DFDCE362D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78472b1a4fc91e7a5efce44a75f4d805cbf80df","datavalue":{"value":{"entity-type":"item","numeric-id":5900704,"id":"Q5900704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$B2C924E9-D5CB-4A12-A410-96C9E55D4A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b177f327a80ce89d460ccd5ad08df76a67b8d8","datavalue":{"value":{"entity-type":"item","numeric-id":2769607,"id":"Q2769607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$488858E4-DFCE-454F-9014-EDC02A75FC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0635e78f16b64da8e7bb906982038e06f48bba99","datavalue":{"value":{"entity-type":"item","numeric-id":4808851,"id":"Q4808851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$C563BD48-AE39-4083-8A24-43579936096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0897a9a6d899ea814f1fb97d504685b41140a2ec","datavalue":{"value":{"entity-type":"item","numeric-id":5308406,"id":"Q5308406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$4BC990C8-9B54-41D4-B63A-FB4B54B6BA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62e1d1356375b0666384d5e241c31f12cea0833","datavalue":{"value":{"entity-type":"item","numeric-id":2766586,"id":"Q2766586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$D12AAFA9-34D9-4671-B0A8-6165CBF83C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f0f854c8b601411f515567c1cb71a8dc411688","datavalue":{"value":{"entity-type":"item","numeric-id":3045260,"id":"Q3045260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$81BD28FB-F7D0-49E1-8AEB-19F242651E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a99f310947f3fc6d764435e871fb3790fd14d9d","datavalue":{"value":{"entity-type":"item","numeric-id":3617245,"id":"Q3617245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$9F5EE831-E81A-4226-8409-89C65B13D511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39a306becd32580e2c3c6fdbdd23488b0a12adb","datavalue":{"value":{"entity-type":"item","numeric-id":4422088,"id":"Q4422088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$288954A1-39AE-462E-8C46-8D4AE533EECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8a0a08ddc49e4d9779963b842f19fba199b2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3045268,"id":"Q3045268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$5C443861-DF18-4946-8D90-AFE904AB1A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479dcf94b82f23cc9477d1d631bb0d34ee58f7ac","datavalue":{"value":{"entity-type":"item","numeric-id":5712286,"id":"Q5712286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$E1B33C08-83E4-4B1A-94AD-89DF16C767E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39de3255a8a7edb92bfd585e1ccb6ad8a5af7202","datavalue":{"value":{"entity-type":"item","numeric-id":5308407,"id":"Q5308407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$F308BBB8-DDC6-4493-A950-9AC4517BE016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$D7F9C583-D8F5-47F4-9E81-8537893A9B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd23ef8f92ec1dc2b374fab105feaf501cdf077b","datavalue":{"value":{"entity-type":"item","numeric-id":5458320,"id":"Q5458320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$A382A8D6-BB0F-440B-894A-D5838C29F0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3afefbf65bbe239a7b4e62ed7865463cb8fab21b","datavalue":{"value":{"entity-type":"item","numeric-id":5492992,"id":"Q5492992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418783$493A64BE-8F6F-4088-83D5-75357C05688A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2d1741ba4e6d36b58dbf4d981c39868470593b0b","datavalue":{"value":"journals/tcs/JensenKM12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418783$8EBB6FFB-184E-4836-8F00-55E103AE7EE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af2875b544d86b0a463bfba97d832191bbf91185","datavalue":{"value":"10.1016/J.TCS.2011.12.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418783$1DBC6ECF-ADF3-40AA-A70A-47ED3908F787","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70518e9117f25ea6ef504a426e29e3c789c7bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4808851,"id":"Q4808851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f95b120f91b53f75d9c06c2dfb52c9d0808bad","datavalue":{"value":{"amount":"+0.9184491038322448","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":"Q418783$CD2C7AD3-8A28-4D11-A3B6-D297E70D4B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5b6a91758d424cd69fefc96c82b86a9a7b0622","datavalue":{"value":{"entity-type":"item","numeric-id":4422088,"id":"Q4422088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d7508f62927c952e6fa5d0524a9c3565dba8be","datavalue":{"value":{"amount":"+0.8922786712646484","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":"Q418783$C8F505BB-E230-4CD0-B013-39A3D139AF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa8051ed9a08268458a56364f716f5f865b5f2a","datavalue":{"value":{"entity-type":"item","numeric-id":2769607,"id":"Q2769607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd888e5e32a6fcfd27e8105d69bde8626bcfdf6","datavalue":{"value":{"amount":"+0.8849180340766907","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":"Q418783$844E7DBD-C86A-4CC1-8058-3EFD73C3EE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d130151a37afc6e0cd16530df1c649436d5f6566","datavalue":{"value":{"entity-type":"item","numeric-id":3045268,"id":"Q3045268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7481ae5a54a4b8faa201f465ed7b551f0079635c","datavalue":{"value":{"amount":"+0.8836209774017334","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":"Q418783$EE3A0712-DAAD-4EC3-A694-6255D75B201A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9578cad022330e19a661b5ce94b7231fa7765441","datavalue":{"value":{"entity-type":"item","numeric-id":5415299,"id":"Q5415299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33704ec3937c6e2b73eec77194dc12bd8cb34afe","datavalue":{"value":{"amount":"+0.8750273585319519","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":"Q418783$D58F0675-1288-4ECC-B67F-3C90C44C21C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The sweep-line state space exploration method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_sweep-line_state_space_exploration_method"}}}}}