{"entities":{"Q5740449":{"pageid":7770001,"ns":120,"title":"Item:Q5740449","lastrevid":52581494,"modified":"2026-01-23T00:58:49Z","type":"item","id":"Q5740449","labels":{"en":{"language":"en","value":"On first-order definability and computability of progression for local-effect actions and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606378"}},"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":"Q5740449$5F10DFEC-68F7-4C4B-8F1F-86EE94CA884F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4954002de795fb3b91f29465798b065204f5ab96","datavalue":{"value":"1341.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740449$A6EA9460-2184-4A25-BEA7-929169B887EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1dbd0bab9e267b7cf542710eb200af81ec764c1","datavalue":{"value":{"entity-type":"item","numeric-id":382862,"id":"Q382862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740449$6ABCBBBC-AB78-4C19-B52B-9B13619B1F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"742272dbf7eb66f05ced46d0156e2c99b4a41150","datavalue":{"value":{"entity-type":"item","numeric-id":543585,"id":"Q543585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740449$817F7FED-58EE-4117-A86A-9B5A7C5A75F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f68c40e94bd0774ffce1c64b5329d163d095033","datavalue":{"value":{"time":"+2016-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740449$648A7883-8D40-49FA-BF8F-F05D864930A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740449$ECA9CCDE-748B-47E3-A978-AA8CF48F011D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740449$1C707F6E-CE92-4F23-9B5A-99AF746DD76A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d75242bb3d16f8e688fcc7de9cc884b9163f711","datavalue":{"value":"6606378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740449$6D820BDE-29ED-4B4A-9B89-B105D5B29120","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d976b391c8326924d237361fa8c9396703b9b7","datavalue":{"value":"local-effect actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740449$69602973-B23A-48B7-B194-4435C95CD880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e68472865839f4823826bd5137454463d8dfbf","datavalue":{"value":"progression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740449$F7E3DFF3-1F56-46B5-A230-DAE3B859F93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78aab90bca9fbbb887fb9c40edd6fedcf9d8ef27","datavalue":{"value":"first-order definability and computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740449$7FC07149-9D56-4350-9494-C4C019143158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a39d315b648b150944ead81c337df4c0a026ccc","datavalue":{"value":"knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740449$3AC4E108-D1B6-43A7-9BED-3E34BBE1407C","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":"Q5740449$011CA214-81FB-4330-A6F4-82D266D86C95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de06e38257ce39fd40c85c12ddc6f72d9163980","datavalue":{"value":{"entity-type":"item","numeric-id":360114,"id":"Q360114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c90c94771f5209c5ca7eed76e4a981e49de1459","datavalue":{"value":{"amount":"+0.8327850699424744","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":"Q5740449$86FBA90A-07E2-4608-958D-DB944807FBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed46bc8540cff65c6e1feb43d224be402ac06dc","datavalue":{"value":{"entity-type":"item","numeric-id":1373857,"id":"Q1373857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53dc32bd167882ce093213cc218a238310806cde","datavalue":{"value":{"amount":"+0.7609074115753174","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":"Q5740449$C974AA18-90F3-4C66-BF4A-51B98AED1165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6595f3d0edf7b543819eb5a1a92e284d0a5f86","datavalue":{"value":{"entity-type":"item","numeric-id":5278214,"id":"Q5278214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811b39927b91e1a25cae0acd232a8c6f2bcc6043","datavalue":{"value":{"amount":"+0.7401984333992004","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":"Q5740449$599D0486-DBAB-4C79-913C-BE979DE2FED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7100c501756722125f045226a86804eb541d53fa","datavalue":{"value":{"entity-type":"item","numeric-id":2979844,"id":"Q2979844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cd5ae631992c2d7df1bd05bceded71ef225739","datavalue":{"value":{"amount":"+0.7292363047599792","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":"Q5740449$CBFA4622-F29C-4361-884E-8BE1A20178C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b3f20fce7424818ec8bff1b6c062785de0b463","datavalue":{"value":{"entity-type":"item","numeric-id":5740458,"id":"Q5740458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22bbe0b6987bc99e65542fa237c21031ce098042","datavalue":{"value":{"amount":"+0.7226884961128235","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":"Q5740449$ED3DBBA4-7F5E-42F3-96E2-4EEE585A057F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740449"}}}}}