{"entities":{"Q5892117":{"pageid":7929625,"ns":120,"title":"Item:Q5892117","lastrevid":58617021,"modified":"2026-04-06T00:52:39Z","type":"item","id":"Q5892117","labels":{"en":{"language":"en","value":"Faster existential FO model checking on posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6480933"}},"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":"Q5892117$CBD49553-46F8-4364-B30F-4BE10B3AC395","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55ba86b15c9830a4ce5e2ec26be71a9641d72512","datavalue":{"value":{"text":"Faster Existential FO Model Checking on Posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892117$61C7591E-5C07-43A0-8F2F-881F8884CC82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f764fc39d01375f606984a3bc91a6544f5c495b","datavalue":{"value":"1433.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892117$A5A82820-7DEC-47B2-9346-C82D399CFA59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37cebfb2a02e73f9fb9fa33e4e069bda63ad3f8a","datavalue":{"value":"10.1007/978-3-319-13075-0_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892117$BFDBF3D1-B721-46F1-8C49-C4B14E87AF6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a33ff321cc56708124a2bb2e3e999c74f6be77","datavalue":{"value":{"entity-type":"item","numeric-id":340578,"id":"Q340578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$A98922BD-346A-487A-BE60-B99ECA87A150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f97addcae0de185068af846d9968c1df864cbf3","datavalue":{"value":{"entity-type":"item","numeric-id":175586,"id":"Q175586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$AACD9AA5-89FD-4C5E-ACEB-A8541F109793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eaf352a32aa38da3c724a04881fe6df68b2c948","datavalue":{"value":{"entity-type":"item","numeric-id":281931,"id":"Q281931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$E2531317-D063-46DD-BD41-FC9309A2B302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca0a8695640e57b3adfafa5a18c2abca385906","datavalue":{"value":{"entity-type":"item","numeric-id":261390,"id":"Q261390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$65A88D63-979A-43C6-8DA9-FAA153DC8159","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1f23f6c685108e278a483090ddf4cef029237a5","datavalue":{"value":{"entity-type":"item","numeric-id":2729094,"id":"Q2729094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$2EA7C3A4-4B6E-47C8-BB7E-7A9920F88A56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892117$3F7406BF-F032-45A7-A22D-7E699C979ED1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62109a0d89d5b03a79ce9d45a6f451463a04dcaf","datavalue":{"value":"https://arxiv.org/abs/1409.4433","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892117$6A41F07A-EE82-4640-8348-BB3456B20399","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892117$AF3DEA16-045A-43BC-8CC5-8B4CDF094470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892117$1F43DB76-510E-4828-830C-69B9645FFE4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2e7180d8c528ea800b916ad948c20961286c493","datavalue":{"value":"6480933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892117$F3855324-9955-472C-B6EC-2637C4ACA416","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":"Q5892117$503FCAD4-ABD9-4523-9953-85D2793B7E03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6eec703f3ec1813b10e77497570c790e70bcf25","datavalue":{"value":"W3187001576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892117$7A7F3500-E513-4BEE-87E6-A1877DC29871","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e8ac3ed2a92cdc7a0ec1fa72d148ded1bb370d","datavalue":{"value":{"entity-type":"item","numeric-id":644808,"id":"Q644808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$592DFF33-B2B6-4091-A3EC-52B28992AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06961e8206fdad2bb34aaa64be936a58c005219d","datavalue":{"value":{"entity-type":"item","numeric-id":3656848,"id":"Q3656848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$CD81ED53-5068-4550-885D-2FDC6D1381D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b19a3632c2026e90215c41118dbb16f94a23ae","datavalue":{"value":{"entity-type":"item","numeric-id":1034099,"id":"Q1034099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$87ECAADD-725C-45C9-BADE-335E1D6ACA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b261c10e21468e427874b1e0e6a2c99a79585d4a","datavalue":{"value":{"entity-type":"item","numeric-id":676315,"id":"Q676315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$ABD4BEAC-7AE1-459E-9137-3987F5AAEAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae86091fad6ffa8e96fac6d0429e7a19d2cd2fd","datavalue":{"value":{"entity-type":"item","numeric-id":1771253,"id":"Q1771253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$F5FA713C-0130-4955-AE7B-2369A56DE53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$2B49BF19-31CE-4D87-8064-E601605F8244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac96f90a43b08b2106c4f949bb1b59910ea3567","datavalue":{"value":{"entity-type":"item","numeric-id":5892117,"id":"Q5892117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$8939B9CA-8113-4E73-90D2-F2FC3661FC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215fd7f718e277ec69a088e44c413ed0b740deff","datavalue":{"value":{"entity-type":"item","numeric-id":4376981,"id":"Q4376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$13A8AAA5-0EDD-4696-9A64-6AF07DB6E840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892117$C1D083A1-9288-45A0-A089-F4C870154F2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c021ebaf1c6179441162a29b2eefc2dfdddf58","datavalue":{"value":{"entity-type":"item","numeric-id":5899632,"id":"Q5899632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02877ae78319ffd9260e8c9c4050f32437583a8d","datavalue":{"value":{"amount":"+0.9996687769889832","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":"Q5892117$6A6E3B2A-10A4-4632-B4BC-FDD6677FC83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37bb52bd06639c8afe03569f6cd989d88dda73f","datavalue":{"value":{"entity-type":"item","numeric-id":2946013,"id":"Q2946013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5c9bc0bba46c3b749ec84bad8b39825a8ece0a","datavalue":{"value":{"amount":"+0.7974364757537842","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":"Q5892117$2199EC80-C761-47E1-AB20-6C05797A3B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03861f7fbc130caa09939ad10797e8b95a7256e4","datavalue":{"value":{"entity-type":"item","numeric-id":2634671,"id":"Q2634671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af5683928db7029c71ab35e9869483bebf14101","datavalue":{"value":{"amount":"+0.79119873046875","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":"Q5892117$381D0551-226D-4AB6-912E-AF4919F1CFA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892117","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892117"}}}}}