{"entities":{"Q3176364":{"pageid":3187074,"ns":120,"title":"Item:Q3176364","lastrevid":45616381,"modified":"2025-12-11T11:13:15Z","type":"item","id":"Q3176364","labels":{"en":{"language":"en","value":"Partial-Order Reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6908872"}},"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":"Q3176364$2026C9DB-7A38-42AC-B64F-C2AD36B9BAB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51d6d12d2d018bad2b610401ed2da967a3a0efe3","datavalue":{"value":{"text":"Partial-Order Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3176364$4E7D69F8-B076-439A-B3B4-47C7391D7A8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60f091396c77e55eae92985e7bc23786516dfce5","datavalue":{"value":"1392.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176364$83AA1EB9-47ED-45EC-BEB8-6890CCA2904D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d32c9f126ae9155d08453620ccaacc8c0367b08","datavalue":{"value":"10.1007/978-3-319-10575-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176364$73C5ED4E-5DAC-4F7E-A215-94D4E5F6A1A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$B343D2B1-F4F9-41F3-A589-3F86BEBFFDB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c71d300b782446b6b37501a598b7cff0cbb855f6","datavalue":{"value":{"entity-type":"item","numeric-id":3176358,"id":"Q3176358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$0AE621DF-FB1C-4511-A433-59BDF6B1DB39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14df3d82559b6ebe5d0cc96241f3d08d6077f97e","datavalue":{"value":{"time":"+2018-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3176364$F68156D5-54BC-457E-A958-266A8E838D0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176364$FD03833F-6CED-4623-84C8-759EC81365F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176364$C7F0C5F6-51A0-4013-865D-237E00A64525","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26f15fa16c6653e33d4d091cfa1ea16041b80292","datavalue":{"value":"6908872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176364$716E4E27-CC0F-4278-BECD-F66B7AE644C0","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":"Q3176364$8D6A6744-62F4-4BFD-97DA-7094EDB329E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ace0e42d0a56aa3e3648960089aed9c684e16ef5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10575-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3176364$0E1CA4FC-5C8F-4C0E-B6F7-E763F1D8CAD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccfc196cf09a6716607ac097b36368d885ea0167","datavalue":{"value":"W2803341075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176364$F0DE8900-13C6-432A-A2CD-1AA9BB0E37CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d907737c66d08b95175bf8a8b72f2c2923800fef","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$9E0B67B6-11F6-4E2A-8A7F-19E6BB022156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163ccc4fd6cbc77e432bd9cf26bfded1fb9c4b12","datavalue":{"value":{"entity-type":"item","numeric-id":5428806,"id":"Q5428806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$DB313255-6144-48D1-9820-7B6226B60144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$F2C31734-09F1-423D-9A41-FE693A7A5450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfeba6cd86a19e7a860f35108ad7ce4126ba3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$2F7BE2BF-DEA7-4086-A81F-88D19F6FA345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$4F879177-8B24-47B9-8510-CC42A2B85AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$2DCC7D0C-AF54-4ADA-89FD-E53EE85CF800","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":"Q3176364$D57FE615-8572-4900-8D28-6083E50200A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$452EDE73-9680-4E52-B17A-7F9A98872CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$627ED92B-D994-445C-93B3-8F79F052F155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$61DE3F05-63F7-4EA9-8D23-BA0A460D2093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa77b3485d49d26a209dc95589433f4b19d6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$CFBC460C-4825-4F7E-BDF3-077939458381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3399f5121e7c8f51f0135a441ec6aeb62d5737","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$94C90A39-6404-4230-B14D-28230C48D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a70145a65c17f218441b1c74c9ac9f02f2de86a","datavalue":{"value":{"entity-type":"item","numeric-id":1194331,"id":"Q1194331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$F831C964-6AA3-4FC8-8BE7-8BA01390CD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a7e1bcc00862ea527585b878fe125744afbed0","datavalue":{"value":{"entity-type":"item","numeric-id":5949489,"id":"Q5949489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$2E74748B-3A06-4481-84EC-D8BF6007EDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$64C5D655-B39B-4020-80F0-49A1BEBF4BA2","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":"Q3176364$CDCA88F6-2748-4655-B7AB-EF78DD731E64","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":"Q3176364$85D112F1-1F88-4EC4-9569-34B94AFDF8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$A1742048-360E-4EB3-989A-C79E375B1A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025603170ae7d76412d0530e5903dffb5b6ad1c9","datavalue":{"value":{"entity-type":"item","numeric-id":1276242,"id":"Q1276242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$3E46B764-BB98-4968-9867-C779FD9072E5","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":"Q3176364$0F68F558-CEDA-41CB-BDEF-6926404D7F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dfb0fb623f9f822a09b4e042682c507976c67d","datavalue":{"value":{"entity-type":"item","numeric-id":4733435,"id":"Q4733435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176364$515C8832-50B2-411A-870E-C905A8052C9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc8b8e6584a9af4ef7c681b507708d996a6a702","datavalue":{"value":{"entity-type":"item","numeric-id":2024376,"id":"Q2024376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f52f170581b9d596540988fbe091dbccbb7a9ec","datavalue":{"value":{"amount":"+0.9505332","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":"Q3176364$48950ACF-6416-4880-8CBA-F098EEDD5F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c3d3b8aca41d04a91f5529e847bc8f2c791704","datavalue":{"value":{"amount":"+0.9378506","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":"Q3176364$FBE4065E-1A6B-4386-B05A-0B2B0E06E45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b60597d81e4f1efa84fd71a0c1deea0f67cc5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5357723,"id":"Q5357723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8301e0d72c4363c7dcdde67c84c523507a41a31","datavalue":{"value":{"amount":"+0.92148125","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":"Q3176364$FCC044F4-9493-4830-9D15-714F341D431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c954ca3ed50aeb452b4597897181996d522cdcf","datavalue":{"value":{"entity-type":"item","numeric-id":3648689,"id":"Q3648689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b7126f237eed1a28ed18ee0291f24cbdb5fc3d","datavalue":{"value":{"amount":"+0.91684157","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":"Q3176364$2C98C984-5759-45B8-9DC0-F807B4BB2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f766ba683f784b16376028708eddb08ae91e1e","datavalue":{"value":{"entity-type":"item","numeric-id":2050101,"id":"Q2050101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f863a8775d6e91b351e2a7321ab1afa33599b7","datavalue":{"value":{"amount":"+0.91170454","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":"Q3176364$5C7517D0-4E3F-40BE-896B-9CE9ABA73096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8eebe83a285a552217b0790a2a806b29d6192c","datavalue":{"value":{"entity-type":"item","numeric-id":6043165,"id":"Q6043165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f863a8775d6e91b351e2a7321ab1afa33599b7","datavalue":{"value":{"amount":"+0.91170454","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":"Q3176364$5524ABF6-313D-41F5-8C7E-E018D4BF3727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab2e5c70270d79cfe882ef6a5e36c8016f52918","datavalue":{"value":{"entity-type":"item","numeric-id":2151268,"id":"Q2151268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9eee598b74b683fc3217aaf5c017e12106fc16","datavalue":{"value":{"amount":"+0.89407563","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":"Q3176364$CF9FF2E0-28DD-4C08-9050-8518E0A5447D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3176364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3176364"}}}}}