{"entities":{"Q6064291":{"pageid":13198449,"ns":120,"title":"Item:Q6064291","lastrevid":55529836,"modified":"2026-02-17T18:18:13Z","type":"item","id":"Q6064291","labels":{"en":{"language":"en","value":"A restricted second order logic for finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776730"}},"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":"Q6064291$E39D28F8-634B-41D4-8686-94864DB2CA70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af9b59e2972f0e126a98bc6d37317bea60208688","datavalue":{"value":{"text":"A restricted second order logic for finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6064291$D338B01D-5C9B-4150-92E8-E897521EF50D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abc3c6b58c7f19fc63d3fab4e7c9d6c7b835363c","datavalue":{"value":"10.1007/3-540-60178-3_94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064291$1206D44B-4C95-4707-BC25-9360EB1C84F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$D96D040E-3ACD-402B-841C-BD589375BF6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$3643E1D2-4F04-4848-9601-6EFBD710E5BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6064291$935343E7-99CF-44FE-9550-15E2163B9F92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064291$0DB97198-0C3B-49D6-A491-B274EA394396","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7000b1bd8cb24ce58d2e10449b43f9ab649ba24","datavalue":{"value":"7776730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064291$CF7D3F4A-C41A-473F-A13B-92814DD5D7D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064291$E5E8DFD4-321E-45EC-ACB9-C64D94610CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"316ab5403ec2c6f2bb9fc2ae00e06512f5d508c7","datavalue":{"value":"order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064291$4AEDA00C-7D55-4245-8A67-8446D05DC414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b244d7afdc178f48adc2041f6817250d6a6b4c5","datavalue":{"value":"relation symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064291$3CB90A12-2BA2-4FED-BC20-E00CA12E0F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71aa83712bd45cbdc7b0cfc79549d11423c5028c","datavalue":{"value":"order formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064291$A8562DA7-3D02-45D3-B5FA-40EB3BB4C39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae543bd5ab35bbd143d4da57a4f8ed8e0f4d70b","datavalue":{"value":"simultaneous induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064291$8B082765-48DC-4124-884B-E6FF1A29F9F4","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":"Q6064291$92172875-57C0-4E30-8CE8-4F015E0D47D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b07933c8d89c304c75debb3d1a6d134be55c595","datavalue":{"value":"https://doi.org/10.1007/3-540-60178-3_94","type":"string"},"datatype":"url"},"type":"statement","id":"Q6064291$5BD653EA-9A5D-461E-BADB-41D84DB413BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"017836d31cd9268c45fa0487be50b105c3abe1fe","datavalue":{"value":"W2178865018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064291$13C734F2-E105-437F-BD5B-3078E5CACB14","rank":"normal"}],"P223":[{"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":"Q6064291$0C895F82-BAC6-41CE-81AA-9480B83D8D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$AE44BFC1-9A4B-4EA4-BEAD-07B474067C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$E83D0106-7107-4A93-A6DA-DF79E484724F","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":"Q6064291$398FE339-C985-4394-94A5-70DCAA2A5AD1","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":"Q6064291$C6A4F45A-243D-4A5D-A6D6-C40EDBD97468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33af22eaf65f5b4ee08bb626826ae3899aae9757","datavalue":{"value":{"entity-type":"item","numeric-id":3221973,"id":"Q3221973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$E52F1168-05CB-4CFF-B81B-DE65DD66091C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4a0d31591574572ba2dbe38928869686a9755a","datavalue":{"value":{"entity-type":"item","numeric-id":3561218,"id":"Q3561218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$A382E5A4-70C4-4733-9BE4-25494B04B4BA","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":"Q6064291$DD16D2C0-BDDB-4741-B0E0-D6C60D70A800","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":"Q6064291$D14A55AD-E4C0-4F39-AD6B-33C856162224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$28C7789B-AEBF-4E21-9F21-59A42F459BEC","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":"Q6064291$4068C3DA-9DE6-4683-A9A5-7CE82157A7DF","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":"Q6064291$2A85B7D3-0D5C-4BFF-83CD-66A9010BEAA8","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":"Q6064291$070AAB40-B599-491C-A88E-D650C320CD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b86a7428d25186a655d06d9001814911af977b6","datavalue":{"value":{"entity-type":"item","numeric-id":3830533,"id":"Q3830533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$A1638F28-064C-405C-BE65-0B3660A73576","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":"Q6064291$83E5688E-54B9-421E-A434-84D60E45B80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e9692f9329ca59f32df907f179203719ed32af","datavalue":{"value":{"entity-type":"item","numeric-id":2639057,"id":"Q2639057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$67A4DCFC-D16A-4506-8DB1-4D69335B3C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938de9f1befc541f724f21f144961dfe3d7dd15d","datavalue":{"value":{"entity-type":"item","numeric-id":4182723,"id":"Q4182723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$9D789AE3-E341-44AC-A553-0141720B5A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$9F43F997-1C51-445C-9A4E-54B98E56978A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064291$C2ECF958-5DA0-47EF-AC1A-BBA06BBEDA5F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"947fcbd8858128d1e65c5689e90d6c227864cc45","datavalue":{"value":"Q58215773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064291$2A1ED69A-9D72-40CE-A45C-A7963E997E29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd3feec3f8c96467ac8a86ffe6c462193fd3553","datavalue":{"value":{"entity-type":"item","numeric-id":3224003,"id":"Q3224003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139683bce6d4b8c21520651de78964e65e6fe994","datavalue":{"value":{"amount":"+0.8365387320518494","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":"Q6064291$03187979-2BED-4061-8DA6-DACDB1255628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16283ea476268ab8e1f7219fdbad16203d1cb881","datavalue":{"value":{"entity-type":"item","numeric-id":3458159,"id":"Q3458159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8154fa2f1049ca37775d5b90f55eaaafe72022","datavalue":{"value":{"amount":"+0.8306159973144531","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":"Q6064291$95D59B0C-D6A5-40A3-8D45-F67B6DCDAD28","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":"571f24f137a1d7bd085cf7f0edfd3e6082978657","datavalue":{"value":{"amount":"+0.8179889917373657","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":"Q6064291$617245E5-2C03-48DA-A9DA-148750BEACC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1a1a66418cdfba2176dbf290188fc3c476cbee","datavalue":{"value":{"entity-type":"item","numeric-id":5082331,"id":"Q5082331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1afeba13e1505d413102cf629bd9758eab681b15","datavalue":{"value":{"amount":"+0.8060629367828369","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":"Q6064291$73D4333D-6950-411F-A105-EED7F80F89D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf446e729c2ae15b32d7b70132cbb22d8715b07","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4ea5c2fe12a3b86e2081792646232ba1e2b5a1","datavalue":{"value":{"amount":"+0.7989674210548401","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":"Q6064291$2C4DCC68-E469-444D-A852-896F4E5C0F20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6064291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6064291"}}}}}