{"entities":{"Q5164176":{"pageid":7193747,"ns":120,"title":"Item:Q5164176","lastrevid":57685686,"modified":"2026-03-31T22:03:20Z","type":"item","id":"Q5164176","labels":{"en":{"language":"en","value":"Partial-order reduction for parity games with an application on parameterised Boolean equation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7423381"}},"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":"Q5164176$816AFCD8-2FA4-48F4-986F-ECDF617F1379","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ae13e80250dcefd767f56b6e6789ad4592f6238","datavalue":{"value":{"text":"Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5164176$DCCBD6C2-A7BC-4FD0-A880-8A78F04F4F45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02e2628a14918e89ae47fa676ebf7c4d5e2bad0f","datavalue":{"value":"1483.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164176$CCF9195E-37A4-42B5-8FC0-B942FF5D6A05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30519af571930d3511dbd41e58955a9cb4a5e6bb","datavalue":{"value":"10.1007/978-3-030-45237-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164176$7F5D2E3A-617A-49C9-B659-497820771517","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3faeb367b64965097fe92caf6b7725e1df1769","datavalue":{"value":{"entity-type":"item","numeric-id":2151273,"id":"Q2151273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$BE82711C-DD9E-42EF-B6A6-1C5220272C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e84fe9e7bf533d1ab33d10a27c52dad4dc5f45","datavalue":{"value":{"entity-type":"item","numeric-id":672480,"id":"Q672480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$29EFFC2D-37BF-4883-AFA5-4730020C6DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$9DB1952D-9397-4959-A5E0-582CA0E0E37D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$290A1025-1B65-4C02-BC10-78056BF3D40B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41df14f190dd9eb0cc664848f84d930123fd453","datavalue":{"value":{"time":"+2021-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5164176$2C24F680-2FB2-491B-97C1-75E44262C631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164176$66734405-CDDD-42E1-899E-75C98F2E4BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164176$13B2F3A9-53C9-4374-A0A2-F9054FF4E041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164176$50E1E6AC-2D7E-49AC-8679-6351FC1304C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164176$AE796ADE-48BF-4D5A-9F15-AD04FD47F30C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ea81106856190b41648795b15afd69b5eff9ed","datavalue":{"value":"7423381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164176$912B6DE8-D505-496E-ADAE-ABE1410188F5","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":"Q5164176$A1529EB0-F365-49AA-94BB-3FA77857F945","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ac01bd6040b8fc2bc17b459efda6f4f06ca4fbd","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45237-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5164176$6C83F2DC-69F4-47AB-942A-06C71B42E8D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ba83ab2ed9c96ca0d696652e51faa2b0996ce05","datavalue":{"value":"W3016583929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164176$9B06A275-1AA2-4789-85C8-3C923153BA8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74daea4d87f7d8c7894a5865f1f8c093377f46c","datavalue":{"value":{"entity-type":"item","numeric-id":6044105,"id":"Q6044105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$2E97E43C-3747-448E-BAC0-74B87F86890F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$66AEE9D6-BB78-4C90-9A8F-AE9FD0DFD2E0","rank":"normal"},{"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":"Q5164176$A7C2D672-3841-4866-BD13-BFCD52533FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a317bcfeb8510bb83082f97c6af9cdf9a7b53205","datavalue":{"value":{"entity-type":"item","numeric-id":5875384,"id":"Q5875384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$4C495CC8-B3BB-4A79-BE71-EEEAF4AADA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c825eb2c6f589583c25ad9727c22d018076dcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":5856425,"id":"Q5856425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$5605ED29-4D1D-441A-AF94-EBF85AD5F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b03dbf9748490436f7531d2ef85f5313c11398ac","datavalue":{"value":{"entity-type":"item","numeric-id":2842127,"id":"Q2842127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$C3F70224-C8E7-484D-B6B3-F112C6128402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$C8DC8951-30BB-47CE-9498-16447B915476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$1C0A12AF-0C0F-4A71-9BD4-8808AF099017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23c0356f00997568a4551b3bbe478c9e8f6e2dc","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$77C67174-E23C-4F4E-8171-372799BA4DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00aa64e6b6ae481023fb96b10577215999d56914","datavalue":{"value":{"entity-type":"item","numeric-id":293438,"id":"Q293438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$3B7A2025-9F04-4B0F-B299-BAA55B8B9971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e3d0be21dbe47a372566f26964554630484504","datavalue":{"value":{"entity-type":"item","numeric-id":3133158,"id":"Q3133158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$18C711D4-3CFB-4151-A157-48D5B37752D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b15262c9212c1e19c2094ca903b032ba2b7379","datavalue":{"value":{"entity-type":"item","numeric-id":3457791,"id":"Q3457791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$85E1076E-A3B7-4D76-B7BC-D1DB774E9C4D","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":"Q5164176$DF762E51-CD76-4D46-BC43-65E41960A9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$B56B4530-899F-4D54-8A71-8A0461D53B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59206caca0527c0ec1e6db6375122cd411f75168","datavalue":{"value":{"entity-type":"item","numeric-id":2200842,"id":"Q2200842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$F84D27EE-8E41-40D4-9536-E22D0270DF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$5324C06D-C7CB-4B80-AF10-02EBB153378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$23144294-3A45-45C5-9DCB-CBE98949A60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7557e2d89bfe8667fd8728b0beea8091e7f355","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$7F0332E5-3F00-41CB-BC36-38E9125DBE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d4c65730bb3378dea2f140baafebfbe7e326c6","datavalue":{"value":{"entity-type":"item","numeric-id":4994076,"id":"Q4994076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$3D618683-5748-4AB1-8A9B-5FF4A6C85B87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa54c2bc9d971832ce0fd36244065039d2f932e","datavalue":{"value":{"entity-type":"item","numeric-id":414902,"id":"Q414902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ae7ed915fb65d16a8451a0ad1da31fae794656","datavalue":{"value":{"amount":"+0.7943102121353149","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":"Q5164176$23731F2C-BAB8-43D5-8EFC-AE60275DCE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7f33a7cb05d6e42ded618be2c218474f55f4fe","datavalue":{"value":{"entity-type":"item","numeric-id":1656552,"id":"Q1656552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1396d1e249fe746b5d33edb4820b31740faf74","datavalue":{"value":{"amount":"+0.7867603302001953","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":"Q5164176$2F6B33D6-C3E5-41B6-90EC-9B2B5B578834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d23c1f8269d9ac35f86fbf58999a43e3a3985fc","datavalue":{"value":{"entity-type":"item","numeric-id":6044105,"id":"Q6044105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a35933b776a99650bcc56c3db182b73163115f6","datavalue":{"value":{"amount":"+0.778577446937561","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":"Q5164176$409E7726-25CF-4CBB-869F-72E77CECBDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e41e11b55706db3aa67de98ac1c80e47db2dd1","datavalue":{"value":{"entity-type":"item","numeric-id":453518,"id":"Q453518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08a235144a4ac3d6ecd6b3f18037c7a7b75f94f","datavalue":{"value":{"amount":"+0.7723419070243835","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":"Q5164176$1FB69128-4529-43B9-B5CB-AFC1F5997C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4b81ba9a64a896240d8c97da4b1a73cdcd4c69","datavalue":{"value":{"entity-type":"item","numeric-id":2796222,"id":"Q2796222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a98d9c8c1a12d6e9802ada4e7212820b5bd7f4","datavalue":{"value":{"amount":"+0.7617431879043579","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":"Q5164176$830CF5AD-84BF-4DE2-8DFE-664C2CA6498B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164176$D10861F4-2777-48E3-B808-F55F63BF6609","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5164176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5164176"}}}}}