{"entities":{"Q3608400":{"pageid":5638306,"ns":120,"title":"Item:Q3608400","lastrevid":49670980,"modified":"2026-01-08T22:06:52Z","type":"item","id":"Q3608400","labels":{"en":{"language":"en","value":"Model-Checking First-Order Logic: Automata and Locality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523381"}},"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":"Q3608400$4BA7C44E-52BC-4499-AFC3-F565DDADECFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4d2331f3aebcd61d76fe2a9376d2eb9ec2ab162","datavalue":{"value":{"text":"Model-Checking First-Order Logic: Automata and Locality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608400$2CA8FB18-F40C-462C-B854-26C3D5DA90A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7d72cb39118b9e87bff684fefa2468d83d97204","datavalue":{"value":"1179.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$EF4D1802-9C4F-4F29-B891-47758C1E0F44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f0de40c1329c6dca120a24360500343399e0cad","datavalue":{"value":"10.1007/978-3-540-74915-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$6A252B0E-5F5D-4A50-87D0-814FCCCBBCB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608400$C212B44C-7EF2-4011-94B2-BD1F9419B35D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608400$160BA238-7597-4D49-934B-D9CB4EB2E0AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608400$F39FA772-D869-477A-AF89-186789D1F2F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$D842944A-1882-4361-8439-C34021DA93A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$B4A7518A-5636-4DE0-92AF-276ED8302ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$1DE0090A-36DE-4430-9CCA-7D986F7BB8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$B502A41B-DFAE-485E-BF69-118A73EAEB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$C0A88016-4F94-463C-A0FB-7485CB2BB33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$183411F1-6376-40E2-AAF4-81F8F44E8F20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeb92318a47f5ae035e4358cba65efcf83cb5f42","datavalue":{"value":"5523381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$AD882A60-3C62-4E4B-9F0F-8A8DD2BE886B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c98ba35e5de72a10c8c411bc2dd3a1a3abb68f2e","datavalue":{"value":"Q58215622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$4ED0A2DD-A494-42E1-8BE7-C7D6417F0F22","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":"Q3608400$D87500CF-FBEE-41EB-B835-FE5C3C77F24D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e634efad628712024f13653cf2c599f656be0282","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74915-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608400$FD009F3B-BC92-4650-AAE3-3A146854B8DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cffeb3e8ec1dd9a600a3dc376da88e716b86525f","datavalue":{"value":"W1496683511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608400$5262D6BE-75D6-484A-8049-8D938BD9B4C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08576fbce313a10bbe0679c2f6562288ffe9317","datavalue":{"value":{"entity-type":"item","numeric-id":2762493,"id":"Q2762493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc62830b0438f6107bba80c7b9978be2231457c","datavalue":{"value":{"amount":"+0.9132486","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":"Q3608400$B6509299-9B0A-4CFB-8D0A-AFA39D82ACAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cd1b7f500030473be2fc163bf9aeb483a9a4a6","datavalue":{"value":{"amount":"+0.907174","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":"Q3608400$C9E3138C-FE46-4F88-921C-1F45CBF7B2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a1ad90f45d7cc1d448bede72a7c30e1cf83d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498457,"id":"Q3498457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbd55f35e1a505ad5822c9e29efc98e7773a5ac","datavalue":{"value":{"amount":"+0.9033663","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":"Q3608400$BEEF2D95-25AB-4F99-98A7-44B444546A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e006ecbb92e0971d5ec850ebac7b1705691407fd","datavalue":{"value":{"entity-type":"item","numeric-id":3507457,"id":"Q3507457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f177833276e49992f775c849fb6b6bc6469c4e","datavalue":{"value":{"amount":"+0.8995042","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":"Q3608400$621FBF0C-F49B-402E-8B1D-5671B7C8DA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fefd0d618f27482dd700592c3a6a6f3c52e2054d","datavalue":{"value":{"entity-type":"item","numeric-id":5447361,"id":"Q5447361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c2dabcb272a73473ef0d7d0b012602490d25e8","datavalue":{"value":{"amount":"+0.8930968","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":"Q3608400$36A0EA63-87D5-4129-B337-EC1692990770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7049464c6d9a8f22efbd9141d3b9b44b3c543e5","datavalue":{"value":{"amount":"+0.8896212","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":"Q3608400$ED8C6E8D-0836-431B-A02A-FE6A6FFFB92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357fdc1081400accebcb4cc2759e2f909830b551","datavalue":{"value":{"entity-type":"item","numeric-id":2767073,"id":"Q2767073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e8c9e7879e3ece0da83b511e10c83211b72494","datavalue":{"value":{"amount":"+0.8853416","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":"Q3608400$1948D92C-6FF7-4BA0-9967-9778CB259A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8d5813c096418c5750c749cb37351f8f536c10","datavalue":{"value":{"entity-type":"item","numeric-id":4472245,"id":"Q4472245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74454f8f4cc4e7c0d73bc5b322b8874ba27e5eb9","datavalue":{"value":{"amount":"+0.88426256","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":"Q3608400$D941F624-9E67-43EC-A17E-A2925F0484C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178b814139f2dce1d4d74300894e54f300141c05","datavalue":{"value":{"entity-type":"item","numeric-id":4503921,"id":"Q4503921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff04c285aad5fbbd20febcd301a1fe56c4787bb8","datavalue":{"value":{"amount":"+0.88419676","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":"Q3608400$9572E345-3395-4703-B8A5-229D28F420D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608400"}}}}}