{"entities":{"Q4254565":{"pageid":6284166,"ns":120,"title":"Item:Q4254565","lastrevid":46841337,"modified":"2025-12-25T17:07:28Z","type":"item","id":"Q4254565","labels":{"en":{"language":"en","value":"Finite Variable Logics in Descriptive Complexity Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310589"}},"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":"Q4254565$8B893EF1-747F-43E5-858D-07D89CF7B9E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a262b3f10db862903d4d46cbcbdc716751ba706","datavalue":{"value":{"text":"Finite Variable Logics in Descriptive Complexity Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254565$9276B33E-DA97-4C7E-8945-C0A249067EC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3d6d73dffaddd1af8ed43f5538d60b41bf63e67","datavalue":{"value":"0940.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254565$7222FA95-2887-444C-AF6C-433A37F98E23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8103f2582c13082e40d5940073f79f7d72a81e27","datavalue":{"value":"10.2307/420954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254565$A03A3DDC-0F6F-45FE-AC3E-1EF425FC7983","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$C6E4F000-B19B-4962-9925-E943AE1C8F4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254565$31CD3C55-DF86-43F5-B086-26728B8F0C8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e6a9ba63b5798cc9213b8a089df690dd3645984","datavalue":{"value":"https://semanticscholar.org/paper/516ed34d23a6639367393f67be21c9b312b2db07","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254565$2645F28D-B9C5-40AC-BD4E-313026CCC72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcb2dba88f21105c035bc839c1f9e277bf771695","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0404-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254565$BD587ED2-767C-478A-A67C-543D8524AA33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254565$241425D4-577A-4018-BB08-A201BF9766FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254565$2F3FA986-E752-4DA7-80A9-32F5D3E2B5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254565$18A475BA-671C-4B84-82E1-7EDAA7615AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254565$97135F11-AFDF-4E85-BEDA-DF696B3EA3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254565$A1DF8BED-F6BB-4C5A-8D38-C6364DF61685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5cb504df73386d39362185115b66faee13a7997","datavalue":{"value":"1310589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254565$955FEE73-B8B2-4F06-B034-D872291E5ECD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254565$64005173-89E1-429A-A431-00DF5C65BC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f635751d99afe663a66b6e1fbfde00918dfaeb","datavalue":{"value":"complexity of equivalence testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254565$4B44C2B1-13FD-436F-9DDC-D1E724E6AC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254565$8C6A684F-3EF7-4348-A94B-09FB9FFA9462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb7ea9fb100358be9d899af15c16fa8993529dd","datavalue":{"value":"finite variable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254565$A05285D5-32CB-47D7-B3CD-77858490019D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254565$C7C44CCC-B542-4C91-9A9E-663B20A4CFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709702f788547918eadfc61f451f29a05a6b5b81","datavalue":{"value":"finite variable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254565$CE92418B-860B-462F-B50E-B55A7D368C59","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":"Q4254565$C51DBA2D-8A91-4C75-8815-002F7315EBF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92cfd4bc83ba0ecf9457b4871dd5e223d9feafa7","datavalue":{"value":"W2009700100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254565$F131F1D6-0BBC-432C-9F01-364D70EF99AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9d78dd3a4cfde4f89e763608b83fca319425ef","datavalue":{"value":{"entity-type":"item","numeric-id":1389771,"id":"Q1389771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$12965F7C-E53E-4215-AD8C-DE497D88CCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8451a18aa17e650b042ce6d234fc993c3735f3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4219291,"id":"Q4219291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$622D7B84-BA49-4F58-8AC3-2C730D25E6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$066664C0-767C-482E-87C3-B296A86499C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9575765f0fb72ed9ac301d020db21d1a4786eeb7","datavalue":{"value":{"entity-type":"item","numeric-id":1183571,"id":"Q1183571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$32181B3B-9A15-40C2-B54A-78CEE2079FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$F1223249-72B6-4C2F-8160-FFDBC6D5994B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$8EC6C593-28A7-4704-AB47-E51FD4E6689E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255c2606886bf11500e13155ee5700d10ee17afa","datavalue":{"value":{"entity-type":"item","numeric-id":4371697,"id":"Q4371697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$759FA394-280A-474B-B4F7-50626C87713D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ecf2a58a0d285969621dcb728618dd85cd1088","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$FBD01266-5378-402D-A7A5-82B552D26BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$F1C8AD4F-C674-42B7-AB24-B119FB578792","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":"Q4254565$FF1122CD-11F4-4B5C-81D7-649F489B8B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$D195CFB8-DC69-4B75-8048-355E50E6990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19525a32770bc0161d21fb40f62cd8531fc10179","datavalue":{"value":{"entity-type":"item","numeric-id":4763536,"id":"Q4763536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$432FF701-448D-46A2-A277-D7A997A6AD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$B3823585-3FAF-4E8B-8E1E-1B89535DC676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1bb63192136286ee2b68ee1b226f2d4a02b4b9e","datavalue":{"value":{"entity-type":"item","numeric-id":3901544,"id":"Q3901544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$AAD6BA84-6CC5-47C6-B70D-4F3617563C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb2f3184d86b79ae8611e7ac7b138a9b73eac0a","datavalue":{"value":{"entity-type":"item","numeric-id":1371431,"id":"Q1371431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$DD4F9F0A-9CAC-4DC4-A352-AF9AD34D4A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b32a8240548a402659dc31549f4cbe4c44c032","datavalue":{"value":{"entity-type":"item","numeric-id":4313087,"id":"Q4313087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$F918CDC3-97F7-48BE-AD1E-2A2EA801067E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d31860df339f601f11399e456eadf2fdfdb1e3","datavalue":{"value":{"entity-type":"item","numeric-id":3128483,"id":"Q3128483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$0479B3CC-7FFE-4008-8E8C-DD5ECE71651C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b2df16e0721643b5780540c289c533ac16c1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1817218,"id":"Q1817218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$568FFA2B-A09B-471C-9352-9F6BE76420F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$FA8AF07F-3230-4883-A412-7E4C48543774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abc53cbf0ac81fde0cd742d6e31091fd72cdf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1824614,"id":"Q1824614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$219AFD3F-5E83-4A49-9102-2958B4AA5461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb13266d6e9cb924de9f33fbd05c2696a4d4948","datavalue":{"value":{"entity-type":"item","numeric-id":3747760,"id":"Q3747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$383E43A5-1196-44AD-9C1B-95050CC6B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$EC9530C0-EE5C-4804-B41C-0FED52EC070C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254565$F9DF28B9-7738-4066-9BBF-3FB0CC546A1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe827bbe0fc97db4a32b044296fdc3d6ca882d3","datavalue":{"value":{"entity-type":"item","numeric-id":4249221,"id":"Q4249221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f8c0d733ccb96dd74d23ec48c06a8d44c8f8d0","datavalue":{"value":{"amount":"+0.8684224486351013","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":"Q4254565$CA7B8A09-D3F3-4E89-B8DE-A1F6A34E8AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96f8716fcdde95b44e2cf039251f221fb0c8e11","datavalue":{"value":{"entity-type":"item","numeric-id":3142555,"id":"Q3142555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb01134b5f580d5464d830cdd6e049883b036157","datavalue":{"value":{"amount":"+0.8209775686264038","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":"Q4254565$8FA59101-EA26-4A55-9CFF-3F5E464606F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ed3e99ef970c8df23234f63fa1a85c26828e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde6deae7a33f418e38f3d0f5abb3608126e909d","datavalue":{"value":{"amount":"+0.8106478452682495","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":"Q4254565$9A6FA859-A7DF-465E-80B6-2A1189B3283A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf1151fc77619db8c3c1f0da8d8f8b09ad12c4f6","datavalue":{"value":{"entity-type":"item","numeric-id":1977423,"id":"Q1977423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6a25d3f7ed585ca2ab46d790ebb3f2e0d5084e","datavalue":{"value":{"amount":"+0.8085260391235352","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":"Q4254565$5EDD5916-8532-41F3-8236-375113E70D94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254565"}}}}}