{"entities":{"Q1774565":{"pageid":1785307,"ns":120,"title":"Item:Q1774565","lastrevid":72522852,"modified":"2026-04-14T05:29:37Z","type":"item","id":"Q1774565","labels":{"en":{"language":"en","value":"Deciding global partial-order properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168292"}},"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":"Q1774565$C8614AF7-168F-4817-B9A6-41E8CDD7BA00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b761a79ad0ecd03ed926c8acd39177ba81d86428","datavalue":{"value":{"text":"Deciding global partial-order properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1774565$5F983EC5-CAC2-4EA8-AF74-1DF08C2C4883","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcc5786e11801e78b3f7c05c6a883b38e18d55f6","datavalue":{"value":"1075.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774565$F6E7BA1A-1C3A-4A58-8EEB-2685A1EF1924","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$63841E0C-AAF8-4771-B904-EB27F55CCCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$A1C07A6E-4E61-4777-88B1-BEE0CFBA793B","rank":"normal"},{"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":"Q1774565$2D24360E-5D2B-4E40-B897-F277A71A0E5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$34A9A0B7-2A5E-4FE8-9989-FB614D0CAB71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ee0106d888569bdcc9b3d8e1252f7ed63c68c81","datavalue":{"value":{"time":"+2005-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":"Q1774565$E8782CA6-2213-4801-9B99-28E7F7785DDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5d81ed8f04317fb57c7e2d102d28c1c558e7d7f","datavalue":{"value":"https://repository.upenn.edu/cis_reports/144","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774565$D1085427-2F0B-4072-8A39-7F7611EA3ACE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774565$0BF774E2-E18D-49D8-9CAD-C0FA7399D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774565$4262B173-29C9-435B-93C6-D1B9B420A2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774565$BED90D51-346D-4E26-88AC-43F6EA39880D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4169de32666a41376c92873b045cecbf1fba65a3","datavalue":{"value":"2168292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774565$3835A0FA-7E50-4558-9E34-E2E4CACF46EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774565$16250240-A047-4878-A270-A9DA2A74FA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6815ef52ab19bc57243891ee73152787db18d8d6","datavalue":{"value":"partial-order temporal logic over global states","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774565$BE066CF2-BA76-48B1-A61C-75EB2F1E8450","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":"Q1774565$B5E01914-716E-4A19-8741-251A0807E1F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"546aedc52910e55e427899041b2dfba25c9084e0","datavalue":{"value":"W2129137297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774565$046C39B1-0A3F-4268-AB4C-6F7B8F0D9D13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$3981198E-C075-4D20-97D5-045510550F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b507ff77ec0feccb633849d918fd8b741992ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639046,"id":"Q2639046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$B61E97B9-3DE9-407D-938E-3AE9317D5F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bad5eed05a3662ff994c6164b09408bcc912340","datavalue":{"value":{"entity-type":"item","numeric-id":1893730,"id":"Q1893730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$CA9A33C8-E9F9-4952-8D26-89194EC7A877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3eb892649e381348859e24a44cfd45b9cfc886","datavalue":{"value":{"entity-type":"item","numeric-id":1199555,"id":"Q1199555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$CA4C022E-F39D-4732-B4CD-D9D76D6DE620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e89746956d217860016a766c2127e6c1ab5916e","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$0DA2EB89-58C2-40BB-BE02-836DD6B4E72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$8177173A-E9D5-429E-A99D-8CDEF958F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774565$B96C08B9-D998-4826-84D8-F74B4CBD19D1","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":"Q1774565$BE045C4C-147C-4F0F-A702-64E0DE467B6B","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":"Q1774565$DF871391-5B3B-4B3B-8EE4-8A9C740F39FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec7c8b81d98dbdb821dd3caee95dd9c94479736e","datavalue":{"value":"10.1007/S10703-005-4592-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774565$ABE9371A-FC8B-4B4F-9F90-CFF5AB347692","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae0df9b052f38faac5ff96396c472935978d41d","datavalue":{"value":{"entity-type":"item","numeric-id":532389,"id":"Q532389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d70573461fe820a2428cedd128d9b01078c34e","datavalue":{"value":{"amount":"+0.7956529259681702","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":"Q1774565$82FA21C7-D226-4980-9EBC-836E7735B089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430a37bf04db9c21fe1ff8141794a20cfc720c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcfd62bbfeb4218102cc1b1511336476775c79a","datavalue":{"value":{"amount":"+0.7916572690010071","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":"Q1774565$4D5B02A3-565B-465C-B562-DF79EA03AC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe5f90373a2ba273b2c85cf156f0ff8b60e305d","datavalue":{"value":{"entity-type":"item","numeric-id":4353635,"id":"Q4353635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcefc48181497b2e4c2d55963cd005eddacc2fa","datavalue":{"value":{"amount":"+0.7790583372116089","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":"Q1774565$99E12724-8C43-45E1-9D10-79DC30435A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1710e9c8340a1c3cadef5e52f0d60d849847b7d0","datavalue":{"value":{"entity-type":"item","numeric-id":6044113,"id":"Q6044113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcefc48181497b2e4c2d55963cd005eddacc2fa","datavalue":{"value":{"amount":"+0.7790583372116089","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":"Q1774565$844CECB8-046A-4B7A-8245-F4752135CC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86ab52131965037bf0b3d39270a952c23fc7639","datavalue":{"value":{"entity-type":"item","numeric-id":3184685,"id":"Q3184685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ed0497bdc20f10096dbe5879a9d6745ccff659","datavalue":{"value":{"amount":"+0.7779852151870728","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":"Q1774565$57CDC0A9-43D3-44AC-AF15-3A782A2A7FE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding global partial-order properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_global_partial-order_properties"}}}}}