{"entities":{"Q2180522":{"pageid":2191265,"ns":120,"title":"Item:Q2180522","lastrevid":72778857,"modified":"2026-04-14T07:46:12Z","type":"item","id":"Q2180522","labels":{"en":{"language":"en","value":"Birkhoff completeness for hybrid-dynamic first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200673"}},"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":"Q2180522$FD6A3E7E-A776-4844-A240-2FA56A676391","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea0934a33c7f8df1a41a3b108896bb3c0d3ff5ff","datavalue":{"value":{"text":"Birkhoff completeness for hybrid-dynamic first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180522$00E10DF6-49B2-424C-9B31-DD85E44CB159","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c90ae5c9e8a142c90d177ecf478ea035da91af35","datavalue":{"value":"1468.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180522$9CF47CA1-8A5A-477B-B151-5CD324BBBF19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7705c4eeeeee1f6aa54383652b429d16331483c","datavalue":{"value":"10.1007/978-3-030-29026-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180522$897EB5A6-C869-44C2-88C5-FB6DAE8B97D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180522$38035D99-B32B-469A-9D02-22DB7AC76709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d4ed989a6c46179e6e7f8db67beec0a18bd0fec","datavalue":{"value":{"entity-type":"item","numeric-id":387995,"id":"Q387995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180522$6FE4F5A6-167B-4692-B44B-0EBA5B49694C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7de1f12a4b81f8e35c9663469c9c0ea0df019fb","datavalue":{"value":{"time":"+2020-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180522$F2FD17A9-7C2D-4CF1-9486-A31AEBEE26BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180522$3EF54D32-2DA7-4FEF-A9B9-0E9EFEE32CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180522$826106F0-7F3F-45AA-8BF4-A704AA4B02B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38219af6670d1b11cf8801df344ae9baabe3bd07","datavalue":{"value":"7200673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180522$DCD16461-EA68-4E95-B242-F646CE5C2C67","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180522$74E81737-F265-4AA8-8457-B2E3251D8C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180522$D0415A15-C6DA-48AA-85C1-41C1D0EE8E7A","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":"Q2180522$AEFFF844-87B2-4EC6-8861-0DC67FAEFB02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"499e61a0aa4a5ae658a2feafbd136bb61616087e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-29026-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180522$995024C5-F945-4484-9888-312C6A9D1E43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b2f380d11adbe475444941e411722599981741c","datavalue":{"value":"W2969534803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180522$5FA6233A-A885-4985-83A8-501702205B79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201d68b0255b426d27ec489e487120e3713002d6","datavalue":{"value":{"entity-type":"item","numeric-id":1682285,"id":"Q1682285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba32b00e82f74e359bcdce255da35e6bc0e6a73","datavalue":{"value":{"amount":"+0.811641275882721","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":"Q2180522$A547E2E9-C1F2-4926-9CF2-796E4F5FD37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016f2e7132a797ec59ff79678ad1db1e19b2ad09","datavalue":{"value":{"entity-type":"item","numeric-id":5172130,"id":"Q5172130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31cb6aba3ee48e185f82c92138560fe3ef177569","datavalue":{"value":{"amount":"+0.7859082221984863","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":"Q2180522$C4342205-4B21-4596-82A4-36EAF6325753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d313e7f1c26a2551d6fe06601a87d25385c56f0","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1869840a9b91d33fc2c806914c074a8e0839c2a","datavalue":{"value":{"amount":"+0.7584710717201233","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":"Q2180522$43B3ABC8-DEB4-46DD-83C5-B1DE459BEA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f827069f8467d68dea8fe588feb494ee45e8cf9e","datavalue":{"value":{"entity-type":"item","numeric-id":2867948,"id":"Q2867948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84738dfc96ab02aa1bbe23721446b402f3e06a79","datavalue":{"value":{"amount":"+0.7547321319580078","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":"Q2180522$BF57446C-DC9F-4561-8526-670B1B2C5975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daffd5e4c6bec4907d3d64130efb9de5aec8997b","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214b3ebf7d37f267a80b41fea5db2b1e6a82c1b9","datavalue":{"value":{"amount":"+0.7540768980979919","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":"Q2180522$C175E2F1-6C55-4EB0-9D1A-C270D917805B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Birkhoff completeness for hybrid-dynamic first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Birkhoff_completeness_for_hybrid-dynamic_first-order_logic"}}}}}