{"entities":{"Q3507457":{"pageid":5537361,"ns":120,"title":"Item:Q3507457","lastrevid":50389598,"modified":"2026-01-13T23:01:41Z","type":"item","id":"Q3507457","labels":{"en":{"language":"en","value":"First-Order Model Checking Problems Parameterized by the Model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291059"}},"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":"Q3507457$AC9F9694-CDA2-48F1-819E-1587AF820CFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c939a7f0f69a1e5bf62d570fd5aed8e7ab2977d1","datavalue":{"value":{"text":"First-Order Model Checking Problems Parameterized by the Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507457$87D468CE-2B27-4490-989C-EDECC448F9EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"377e596e65f27e75ceb149f4463a6c6ee65d67f7","datavalue":{"value":"1142.68439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507457$22B10C39-2846-4B26-AD7C-3280A8ACD1BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5265e78a93de93733e4de78c9c1d754bafa63a1d","datavalue":{"value":"10.1007/978-3-540-69407-6_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507457$5BC4E03D-295B-463E-9CC0-CCF419AED63B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$63F7759A-6157-405B-99A2-C17764773884","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"825fe9d63267fff51faac6ffa3ce79c82f92e1da","datavalue":{"value":{"entity-type":"item","numeric-id":3507413,"id":"Q3507413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$5A857F97-35A3-4D28-A3ED-7FBE4D22E881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507457$99BD71D7-8EBA-43B6-A4F4-C61D432ACE78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507457$509E0399-C01B-479A-87EB-24577B038F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507457$FCCBB704-3A4F-4A28-BEA0-FA6EA9D58BE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cde113b1a66d25bbb107e928b0570dcd142202dc","datavalue":{"value":"5291059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507457$F13BC953-C2CA-4F5E-93ED-F6B40571BD3B","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":"Q3507457$E3DAE172-A4A9-4563-9B30-153FAFAE1870","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8de0988096b5d6a910553eacc02db896cc38a4d9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69407-6_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507457$A429C32D-CE23-486C-A4F7-63FCFC0AE002","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f66da9c618e335af4d5978c55823e7588317b91","datavalue":{"value":"W2124132452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507457$EFCB2117-7543-4AD9-8848-9EDDEE65C324","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bd849d4be4faedd328bcecf3dafe7074426cf","datavalue":{"value":{"entity-type":"item","numeric-id":5292625,"id":"Q5292625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$6EEBB3B4-5D19-4284-945F-C09D607823F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f1bb038a1da50946a0172f14d7470c03c2894a","datavalue":{"value":{"entity-type":"item","numeric-id":5900292,"id":"Q5900292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$6E116B49-A4DF-4794-BA53-FDF45316AA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$5CDDC577-51E7-44B0-B283-A00132CC98BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$3D125CFD-FAC1-4E3F-B1FD-86F7CADF8D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec165abc7ade014841f417bcba31a647c17e0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1100215,"id":"Q1100215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$154B3710-81CA-44D8-917C-A9FC8A132725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a633e84f28e974524d6f21199618016457237af","datavalue":{"value":{"entity-type":"item","numeric-id":4828516,"id":"Q4828516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$062FC2B0-A8BF-406C-A74B-A60BC224956C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$8382C5D6-D232-4644-BDC0-1D8C68A94CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a181dd30afaafedddc5b141ee9b82f81ccc5fe9","datavalue":{"value":{"entity-type":"item","numeric-id":4185825,"id":"Q4185825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$63F22249-EDD9-40EF-8EB4-6E6C7ADF9570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9826eb168148d88eeabcb9d30f806fb71e295b4","datavalue":{"value":{"entity-type":"item","numeric-id":5898832,"id":"Q5898832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$288356BD-4E6E-4EB4-8CBD-F64B36C9ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507457$704B9118-D91D-43C3-AA4E-3E8637CDFB0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5096ac076cc3618a967193266d9e9a45c01fc","datavalue":{"value":{"entity-type":"item","numeric-id":3176188,"id":"Q3176188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6296e23853a00a952cf2004039e74c657778920","datavalue":{"value":{"amount":"+0.8885828852653503","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":"Q3507457$AE502704-D7B5-4A9C-91FC-7B25D68643EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82146d19cf00914cf680dc7535deb2fc91961d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f03eb994bbab73a6c421aa2fbde9aecf67f45b","datavalue":{"value":{"amount":"+0.8327117562294006","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":"Q3507457$C5C167B8-1EFE-4F39-85B6-AE73E5A8BFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f0e96ec480ea9705a2e3afbbf53f09f9e62ebf2","datavalue":{"value":{"entity-type":"item","numeric-id":5111174,"id":"Q5111174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af917fc747172f22c63944db76eb936e6ffddcb6","datavalue":{"value":{"amount":"+0.8271430730819702","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":"Q3507457$DD344CC2-1171-4092-BC1B-26ACBB924E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bcdf8a099926f29724311dd4b238c496128a6d","datavalue":{"value":{"entity-type":"item","numeric-id":2978506,"id":"Q2978506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1110044c7377b972dd192fa2152d5c830c5ea612","datavalue":{"value":{"amount":"+0.8191836476325989","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":"Q3507457$B3953185-5CEA-4F02-B67A-4A926B865342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bcae4a26852e61a6b9b37b9e17e5c0ec736223","datavalue":{"value":{"entity-type":"item","numeric-id":3608400,"id":"Q3608400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74163cde8efafc427c4eb9d938ac41cdd2dc1e4b","datavalue":{"value":{"amount":"+0.8109962940216064","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":"Q3507457$079689CD-3C84-41A2-8456-D5970D2D3AF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3507457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3507457"}}}}}