{"entities":{"Q515652":{"pageid":517419,"ns":120,"title":"Item:Q515652","lastrevid":52765640,"modified":"2026-01-23T11:12:14Z","type":"item","id":"Q515652","labels":{"en":{"language":"en","value":"Games, automata, logics and formal verification (GandALF 2014) -- Preface"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695637"}},"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":"Q515652$09C35C95-C584-41F1-9A29-205EF291A6CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c2ed9381d35872dae6d10ad2594478371c4bd0c","datavalue":{"value":{"text":"Games, automata, logics and formal verification (GandALF 2014) -- Preface","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515652$1E30EF88-6B7C-49F9-A1C2-5F5526ADCCC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d356f877017538a257e19105424ce2e987113eeb","datavalue":{"value":"1360.00133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$3728FFEC-4E18-4F60-AA5E-AFB0024E580A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515652$D2DDDD1C-4954-437D-B180-15172D33EE81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q515652$6CED1AB5-E2C5-4984-8286-AE05DBCFD0D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d771bf9b76738a5a6399b546ef89f03363fc81ce","datavalue":{"value":"http://hdl.handle.net/11390/1096381","type":"string"},"datatype":"url"},"type":"statement","id":"Q515652$60F30498-75C7-4895-88B4-0FC38784C9BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$717DAD6B-5A8E-4473-B534-5F7761163DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$6C7EB004-D5DF-446A-9FFB-6A2745405C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ad4b7258c6800a4438de71775956483d7a484f10","datavalue":{"value":"91-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$CEF2AA40-E40A-458C-B7F5-F832CB5EC117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$22785798-0E72-40B7-A05B-017A82F6E14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$8FB5A3C6-810E-4D70-ACC2-0867576A316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$C3EA4F31-6878-4EFD-AB36-2AB2FB890EBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8424bb31c67b9bd262a214e184eb0be6c04ab54","datavalue":{"value":"6695637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$4D80B783-A567-442E-AE5A-FF3E2F6C95D9","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":"Q515652$3DD6A031-3929-468A-80B3-CFD4949C4D30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73b664235539ffa5b94b4104d9ec8d0235b3e64b","datavalue":{"value":"W2482143101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$FF5036BA-B432-4B00-8652-7B0A061DDA76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67924509d4991bfa45a6142e8f68e0232ff6f16c","datavalue":{"value":"10.1016/J.IC.2016.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515652$F0AC2E7A-AA6A-4103-AA81-5D905CF2B922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b3155b77bce32b2f53ec5701cc1b4e6332d156","datavalue":{"value":{"entity-type":"item","numeric-id":5221792,"id":"Q5221792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07272e869021b7e8ba03a53ef77b0f16ecd26a6","datavalue":{"value":{"amount":"+0.935341477394104","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":"Q515652$10C02759-38F8-414E-8C5C-08E9DAF5DD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37eeccc4aea59f50d3e459d0e23a78a473cbe80e","datavalue":{"value":{"entity-type":"item","numeric-id":1784956,"id":"Q1784956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b816c8ccc68ec9772bcdcb9b488152e880e2c2e6","datavalue":{"value":{"amount":"+0.906553030014038","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":"Q515652$50E1BD9C-5D24-4440-BB62-B7528952FF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebe10987ec118e70875203147e8b7573c9001fb","datavalue":{"value":{"entity-type":"item","numeric-id":5970855,"id":"Q5970855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784fdde269d2cf7120f249b127ecd26e1aca2617","datavalue":{"value":{"amount":"+0.8875720500946045","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":"Q515652$D01FB77A-D012-46B6-BE37-E859AA229F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e1c04b236c0cc72f093cc2550d2161c32731c2","datavalue":{"value":{"entity-type":"item","numeric-id":5222612,"id":"Q5222612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cefc7679ac1b2ff36a83a6e9dd555a36eccbb8af","datavalue":{"value":{"amount":"+0.886123776435852","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":"Q515652$D850E97D-1668-4B1E-97E7-016D92A00577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb3276783758ae660d801bb400099edd2bc871f","datavalue":{"value":{"entity-type":"item","numeric-id":5970718,"id":"Q5970718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614e115460c720a5db4b393f178e0dfb08ac64cb","datavalue":{"value":{"amount":"+0.880092203617096","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":"Q515652$7AB022A1-DFEB-47A5-94B3-DC9176F73F24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:515652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:515652"}}}}}