{"entities":{"Q5092378":{"pageid":7121954,"ns":120,"title":"Item:Q5092378","lastrevid":55416070,"modified":"2026-02-17T15:57:52Z","type":"item","id":"Q5092378","labels":{"en":{"language":"en","value":"Counting of Teams in First-Order Team Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561663"}},"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":"Q5092378$07699AD8-BB83-46BF-A123-CE873412767B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092378$1DE4623A-E4A9-424E-82B3-930DA397EB18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"513e53b8e8046c57f5fd8ed293acc777f85e26df","datavalue":{"value":"https://arxiv.org/abs/1902.00246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092378$601D8F5E-0FC2-4999-80B0-03E5AC4BC5B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092378$E22572F5-E5E6-4C8D-9E96-D98BED7607AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff6366a51f093e08ba936df358729f2bd5d30623","datavalue":{"value":"7561663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092378$F38AF2A0-A9EA-4073-8814-547CCE89609B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0a3d42fd33b55b6afea6bfd54a677190d08594","datavalue":{"value":"team-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092378$3B241776-FB53-4CED-B588-27542A3F71C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d435b6f8fa5aefb69319ed8da57a094f7d5a961","datavalue":{"value":"counting classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092378$616BABA0-3A11-4A10-8DFD-6346C89A25C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092378$D1EE1F02-99D6-4532-A913-2EAC5B2F906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092378$0AC683CC-E5E0-49A4-B1C5-D29FC956504F","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":"Q5092378$C41A697F-9BAD-4100-B397-F9C156777777","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6f1ed4261be48687686b3a7b82cbfd3453dd22","datavalue":{"value":{"entity-type":"item","numeric-id":5144698,"id":"Q5144698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$E7D5E6FC-DB18-4DD0-8886-AD7AF84E4D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe82ca7820de6b91c1ce3ceced5f38fdc13081b","datavalue":{"value":{"entity-type":"item","numeric-id":3453218,"id":"Q3453218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$56D92E2E-EC8A-42A8-B292-AE55ED9F7619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f5906e80d644cbb4b70a8f1355659a31fb1da1","datavalue":{"value":{"entity-type":"item","numeric-id":5213645,"id":"Q5213645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$C394FEAD-CD5B-426A-96E9-D684249DF0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4d8bd2cb09774205041cfa6a148b03fa481c74","datavalue":{"value":{"entity-type":"item","numeric-id":122510,"id":"Q122510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$5032C9D5-2C01-4CCD-ABE7-133B7CB74318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b859084b0b8be3a3460e7502cc733bf2ca1f835","datavalue":{"value":{"entity-type":"item","numeric-id":302214,"id":"Q302214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$CF26AC4C-6024-4893-91A9-0DA06774636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feeac611b0c929463b6bd69e173405ad994327e8","datavalue":{"value":{"entity-type":"item","numeric-id":5278406,"id":"Q5278406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$B8E40365-5F62-4767-AE0A-4383D0186D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12672bcf413b7431f1b22d42728eeff7285b65c","datavalue":{"value":{"entity-type":"item","numeric-id":5145309,"id":"Q5145309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$156286FF-9DD7-4358-BBBE-A7962DFCEDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2c18e641c61dcfdca209c953883e8c4a7cd4eb","datavalue":{"value":{"entity-type":"item","numeric-id":5013879,"id":"Q5013879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$4C918760-2F44-4694-B08D-8F12C0F21673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bda985c0169b6522b9f81e020ba310f47e98b7","datavalue":{"value":{"entity-type":"item","numeric-id":972385,"id":"Q972385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$6E484DB7-78D6-47AD-8718-0EE7F5BFE3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$A6C82826-22BD-4579-ABF1-51A463BE71B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$FA7C9C19-4B78-4D67-A883-320AC1CCA91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d174a5532fba5272b2f046018846c5d54ed5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$0ED76EC4-F95B-4441-BA4C-FF5BAB775AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$1F75E9C8-1474-47F8-B488-DDD54BAD28B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228589e165be309b7eb224cab83d11c97eb3f6d1","datavalue":{"value":{"entity-type":"item","numeric-id":2296714,"id":"Q2296714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$55942370-1F41-4264-89E4-B47744A9EEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65516b87031d8cdec2b5c191f0ed471f1cf66ace","datavalue":{"value":{"entity-type":"item","numeric-id":2629853,"id":"Q2629853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$BED3AFA2-961E-499F-8CCC-98F8E389195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92026e7083baa0c4851c42e34ad9cd0629631e05","datavalue":{"value":{"entity-type":"item","numeric-id":3459087,"id":"Q3459087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$002FD601-732B-4797-AA82-D2FD87F3160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$C8A6FC87-7F9D-46AB-8BDC-6825B337DB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4e45b59638c083e588ba0f9f52e77c920e68ed","datavalue":{"value":{"entity-type":"item","numeric-id":4267172,"id":"Q4267172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$0A69C8E9-2C88-4838-8549-D1756C665336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cb0ea38658690e1f7c6229cafad77d503213af","datavalue":{"value":{"entity-type":"item","numeric-id":5277825,"id":"Q5277825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$61366DD9-AD65-4578-88A5-324539613043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a754ab887d6c0fff91593414b5f52d116b9cc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":4608623,"id":"Q4608623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$4E242015-6C7F-4EFD-B773-6FDA5FD48DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f269c613ed41cba243c1b7f5773ffd025581a69","datavalue":{"value":{"entity-type":"item","numeric-id":617710,"id":"Q617710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$ABD946C4-0F5A-4887-90CB-F1DDD3445E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04ecbb7382c81ff4c246d8ee37f901be0a41022","datavalue":{"value":{"entity-type":"item","numeric-id":735407,"id":"Q735407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$2AC636AE-23BD-47D6-BA63-959654FCFFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b099341778886393a04332f3bed6ce3e8f7278b","datavalue":{"value":{"entity-type":"item","numeric-id":2303604,"id":"Q2303604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$442BA5CF-6844-4C4F-A9AD-CFA62AB16261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa6873b9769173f427d2c0089648b702e3e0826","datavalue":{"value":{"entity-type":"item","numeric-id":302243,"id":"Q302243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$F3119935-4D5C-45A9-8101-3BE8145CCF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dddb5471823afdacda21ae831d9d3c8a50ed688","datavalue":{"value":{"entity-type":"item","numeric-id":5145338,"id":"Q5145338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$C928F4E1-172F-4121-93EE-DF6FEF78B0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4a7a342b9950158ab79fbd73f8f7c6bc26f9b5","datavalue":{"value":{"entity-type":"item","numeric-id":5213648,"id":"Q5213648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$E15836FC-86CB-475B-84C4-969627838629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93d5f64f3674939a5a9eb55ab10a4a268b2f038","datavalue":{"value":{"entity-type":"item","numeric-id":5756679,"id":"Q5756679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$C5F7CEB5-BD3E-42D7-BF5A-08A610E31AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1528d37f878caeb234570bf65b28188caa7847f","datavalue":{"value":{"entity-type":"item","numeric-id":1894456,"id":"Q1894456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$EE3879A0-0BBC-437F-B2E5-3CDFB6B23C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$0761454A-0D7E-47E7-A964-7EBB2B7F31B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$07D59E52-3C40-4884-B634-174DE17DFFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$FAF40FC5-3B08-4FD7-8FA2-85C2C6594C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624abf0da839d476906101af8b6d74820b65cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4393484,"id":"Q4393484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092378$65FF17D7-5BDE-45BA-8E87-8E034309B592","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ec59e5a8b17481f3034242f77bdac1f1631e1fb","datavalue":{"value":"W2962733163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092378$E7ADD4B6-07AF-4349-9638-7C139DDED676","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22294d6b721a45b7fa3a468b1a5cf14c1ceb19ce","datavalue":{"value":{"text":"Counting of Teams in First-Order Team Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5092378$34B7541A-CEA4-4CA3-88EB-D46834D7923F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1f918bc918354b8229ea3aa654cd4f39e7d521b","datavalue":{"value":"10.4230/LIPICS.MFCS.2019.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092378$37893539-B875-4352-88EF-A227307C0DAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b010877a6532a8e58ced16bc7e0094a4d55c542a","datavalue":{"value":{"entity-type":"item","numeric-id":2172832,"id":"Q2172832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48fc55c37f86dd24ea346aae32a6adafb21e4b8","datavalue":{"value":{"amount":"+0.8239113688468933","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":"Q5092378$D864F7C8-AB2F-42E9-8785-66070D81BD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8bc24cafc9244ef3061fc67ca5ae1a7bc62677","datavalue":{"value":{"entity-type":"item","numeric-id":5278424,"id":"Q5278424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4bde019c5bd4bceafaf57cb973767bcd0f8517b","datavalue":{"value":{"amount":"+0.8099706172943115","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":"Q5092378$9FB76CF8-4AE0-424D-8FF3-003E493794B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b18c673735ac2ce0fd455a53dc21af4373936d","datavalue":{"value":{"entity-type":"item","numeric-id":5919492,"id":"Q5919492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599ca5c5bdd545b092ca35eccdf544449bf5b1b2","datavalue":{"value":{"amount":"+0.7832148671150208","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":"Q5092378$2E27641E-27E9-4A27-87BD-AE3403C55B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b09d57b560aaf0c25af45ae2019ff420e3d253","datavalue":{"value":{"entity-type":"item","numeric-id":5216300,"id":"Q5216300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d785d294edc6fd6235351c283cc8660605caaf","datavalue":{"value":{"amount":"+0.7632847428321838","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":"Q5092378$62671B57-F3C2-42EF-AED8-2340B267DF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f631d0229a398efbd37a3987d86bc27b692db24","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817345b0713c7e574e2faa22ef8f7d166a361dbe","datavalue":{"value":{"amount":"+0.7619537711143494","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":"Q5092378$C9AF3144-43C7-492A-B790-0074132BDF44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5092378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5092378"}}}}}