{"entities":{"Q5079753":{"pageid":7109329,"ns":120,"title":"Item:Q5079753","lastrevid":41194594,"modified":"2025-04-18T22:50:23Z","type":"item","id":"Q5079753","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533353"}},"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":"Q5079753$6C0BD61A-E5B5-4768-B8E0-CB5DFA07F29B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2544a2aff544dc84ffd23bad61458f6d1fd945ff","datavalue":{"value":{"entity-type":"item","numeric-id":347113,"id":"Q347113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$D3D55DF3-0E3D-4D87-B683-BD3C97648F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b346a4e742665f6fae44f5c4c1165c37d3a575","datavalue":{"value":{"entity-type":"item","numeric-id":229995,"id":"Q229995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$F64B166C-FF57-4C6A-970C-BB569B38DBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$A067CA2A-0539-42CF-B41C-87267A319123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fb8d4872513e25b3cb2ee4b054caa1dd9caebba","datavalue":{"value":{"entity-type":"item","numeric-id":599181,"id":"Q599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$1E276D32-F2F3-4F3D-BFA1-4EBDE8141D77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079753$E337EBDE-B8A9-47EC-885B-8AEB61BAFA40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079753$8C007A85-CE49-4D17-897A-C652E5834069","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9272403858b6f603ae3a72675d7cb3c75010c94","datavalue":{"value":"7533353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079753$28D5F08C-1762-4453-94DB-EBE810293BD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079753$1E4B98E8-E76B-43B6-ADF3-BBD2BC800246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079753$601E78CD-AA66-4F20-B1FF-0EEE7E3953B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da0cb259b3fd7cbc76ae84a6a41f78a6ed55ce56","datavalue":{"value":"algebraic automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079753$1558BCBD-BB96-4AD7-921D-9A13F20BDA6D","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":"Q5079753$B6B82707-D08F-404E-ABE4-7E511EEF6479","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed496352c040c4152891195e3251999037c6cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4892455,"id":"Q4892455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$95934B16-AA5C-4AE7-B278-2C67642C197E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbfc7554ecae7784eeca857f1d8f3cb67756ee","datavalue":{"value":{"entity-type":"item","numeric-id":1236192,"id":"Q1236192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$C5C1AEE5-51E7-4F9A-A0EA-4225EB4FFF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2716451e75e131a2b07c55da6f5e535035caf72","datavalue":{"value":{"entity-type":"item","numeric-id":2546343,"id":"Q2546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$AED90940-697B-4B35-AF8F-425E2DC42565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0224cc11e92917094ceee66bf62982a9eb25550a","datavalue":{"value":{"entity-type":"item","numeric-id":3538848,"id":"Q3538848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$01AC0A47-74F5-42A5-9D69-9510190BE45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$4AA33BAD-4C82-4645-AE4B-27D1187C32A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afad173eef5cd271472dfe5165d8cef0865dd7e","datavalue":{"value":{"entity-type":"item","numeric-id":3673124,"id":"Q3673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$D9FA0AA8-F6E1-4DAF-98C7-EE3837FBF713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16ee75763ee37528d9d069abe7cc0c6e535782e","datavalue":{"value":{"entity-type":"item","numeric-id":4635866,"id":"Q4635866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$3565EADC-A47D-487F-ABEF-CF8002545232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$7ACF76B9-A709-4C0D-A6CB-3A84989901B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$71F64012-36FF-4B5A-B295-249810FED154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e8adff7b8af51834283ec8ca88ccde8bc91d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5167850,"id":"Q5167850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$57059B30-FDF2-4D68-B7D3-DDB53FC538E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5941aa35e4c97b8ffbd3f4b01665d0bf6b86d7","datavalue":{"value":{"entity-type":"item","numeric-id":2955031,"id":"Q2955031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$A733506B-F647-4691-BA84-103E8EB3A56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$9E4C1E65-03D1-4EBF-9E41-904D1025B6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a75e85707c1f24d3c13217ffc94cef40ecf304","datavalue":{"value":{"entity-type":"item","numeric-id":1244582,"id":"Q1244582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$189E494A-CD58-45BA-9E97-26EB310951AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$B47F8856-6BF6-453C-A343-7D2AEA4E1D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$9FFCBC7B-48E2-440F-9A51-A06CAB83AD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079753$7313EF88-6B5A-4158-9E6C-521982431740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da22ae48f71edf3a39485ec03af33d63070c09a8","datavalue":{"value":"10.4230/LIPICS.CSL.2018.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079753$5A207B1B-2FF2-48E2-9116-B4AC102A7B8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce0586ad6e557bb0065e767704b06c2bfbb501","datavalue":{"value":{"entity-type":"item","numeric-id":4635866,"id":"Q4635866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a774a944e23b97282ea482c8c15e02634919ccd6","datavalue":{"value":{"amount":"+0.8867673","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":"Q5079753$BF0A46E9-A49D-4D67-8808-0F615A86EBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"068e81afa61b7d558bccc88ac172f0c8354102fa","datavalue":{"value":{"entity-type":"item","numeric-id":5129940,"id":"Q5129940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf2b66af05ef385e01e71c83eb850a51dccc991","datavalue":{"value":{"amount":"+0.8860276","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":"Q5079753$2B9E33E8-86A9-403A-A635-B25C09D473C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a304c1062e951dd9b2361070458a9ba6597c62d7","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a565836f47589b8c65912bdea94159c4323940d4","datavalue":{"value":{"amount":"+0.8799112","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":"Q5079753$88712683-0A72-4514-8A92-46678C528396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d9767dac5ec0f003ef625383627713210f9da8","datavalue":{"value":{"entity-type":"item","numeric-id":3123888,"id":"Q3123888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a405e91de2884de7ece87e030525fadc03e1b05a","datavalue":{"value":{"amount":"+0.8672875","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":"Q5079753$CB12C71A-1739-4C6B-B37A-58FAEE3CF1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bb1c2944c2b66a83438f1c643c4cdc8922aec6","datavalue":{"value":{"entity-type":"item","numeric-id":3110608,"id":"Q3110608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217a1cd7bceeeedea861a46ea720ea765f3f9a2c","datavalue":{"value":{"amount":"+0.86562806","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":"Q5079753$63568FE0-E8C0-4255-8B7C-161478096835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14d713b5916ad46eaa462fffa55722167e3ca7a","datavalue":{"value":{"entity-type":"item","numeric-id":4236072,"id":"Q4236072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550c2fd399c8c97dcdf2f641421065d231e014e9","datavalue":{"value":{"amount":"+0.8655859","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":"Q5079753$9084226F-FB99-4971-ABD7-551944CCBBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7aa192411608347f08b70e77c05b87c86bd475","datavalue":{"value":{"entity-type":"item","numeric-id":2957483,"id":"Q2957483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773f83d15d09b70fc312906334e3db7f425cc9a8","datavalue":{"value":{"amount":"+0.8624276","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":"Q5079753$8A78779D-5A23-4029-AB9C-A8F552B598A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e70b918d8a19174da7027b32bd3b40e1678fd77","datavalue":{"value":{"entity-type":"item","numeric-id":4608719,"id":"Q4608719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0beb635d1e38aa24bd10e3fc3226885f57c179f9","datavalue":{"value":{"amount":"+0.86242753","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":"Q5079753$8A888246-DB9F-46D0-A392-0E9E32E0FEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cf6b4ed7592aae7648d49136c921525d9d3c47","datavalue":{"value":{"entity-type":"item","numeric-id":1893139,"id":"Q1893139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d1fa9d14a3a8f7d11e8fc1df473872eda9e716","datavalue":{"value":{"amount":"+0.8601186","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":"Q5079753$05C97AF9-9BC5-4491-8196-18C70CD6B6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbae6fafa873b776d56141c1686ea0d10f5c1ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911351e783817350acdd634e28ddb1c47600f885","datavalue":{"value":{"amount":"+0.8531795","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":"Q5079753$3E7814EF-D9D2-41E1-9F8D-7E89FC1366BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079753"}}}}}