{"entities":{"Q1401237":{"pageid":1411977,"ns":120,"title":"Item:Q1401237","lastrevid":67517481,"modified":"2026-04-12T18:31:40Z","type":"item","id":"Q1401237","labels":{"en":{"language":"en","value":"Quantifier rank for parity of embedded finite models."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965271"}},"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":"Q1401237$26B82856-7A67-4801-B5FB-727AAB818F55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d194035c2469c931dbacc5941ac6989ebb5b531d","datavalue":{"value":{"text":"Quantifier rank for parity of embedded finite models.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401237$CE1F676C-42A4-4463-8DB1-C1D56ACD72F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28c0ffcf631d4f044abb7e12fa43f2566173577a","datavalue":{"value":"1045.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401237$E09B5ABB-20D9-4905-8AB3-AE5DB0388C31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b64981ba3d0b2e7b3b73d8518e7fe30920b9e369","datavalue":{"value":"10.1016/S0304-3975(02)00401-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401237$3889C932-A816-4DCA-830B-ACDE663ECFC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97aff449d8605a092d1a036d9ff7ec3f35e80cbd","datavalue":{"value":{"entity-type":"item","numeric-id":547280,"id":"Q547280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$2575170B-2B92-4BFE-B76B-DA1521B60C5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$B99D036B-0F58-45D3-91F6-6AF5056441ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401237$21A2B77A-5740-4E21-90C0-4D3D3D4C9E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401237$5C307372-67FD-4486-BDB6-7E834523AF8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b398966aa1410b4e4cbd253989eae631167e57c","datavalue":{"value":"1965271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401237$E4201451-B3D7-4123-970E-CDA49AF4D413","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421e26c70d1867e1581be971a2c58c596c077574","datavalue":{"value":"Parity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401237$5520A661-BDAD-4631-9EE9-F7F7F187BC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d9328b28565c600347d3bc9e515c2bb63b8c360","datavalue":{"value":"Connnectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401237$595606AA-E592-48E7-9DAE-C44F0B87528D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e49008e488d79415f4549cf10d3b60ce2a232d","datavalue":{"value":"Reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401237$B8F1444A-4A56-48F4-9EE2-2E0F1F701E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe44d9822c33115a96a928b36a73eb34ae28f964","datavalue":{"value":"Ehrenfeucht--Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401237$642E8B6A-B2CF-4822-842A-82FBB3820F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562b6b44213a4a24ab2ed2a28d36ca4dd07d6c42","datavalue":{"value":"Constraint databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401237$3CB6B1B8-2657-442A-97BA-26135F22090C","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":"Q1401237$01DD4086-7185-4D36-87BF-D6653FE21394","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a14de479f3c96ec4b85b370c5b091b27c166b8","datavalue":{"value":{"entity-type":"item","numeric-id":4505906,"id":"Q4505906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$189A9853-EEA8-494D-8EA0-BD9DD3DC5F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680fa91228abcf346f0f954ddbe4b8168b1f7999","datavalue":{"value":{"entity-type":"item","numeric-id":3841038,"id":"Q3841038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$00524100-1D54-4C85-ADD2-009182A3418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccce186b45bea0ea29f12141d4d3fecb0e14b84c","datavalue":{"value":{"entity-type":"item","numeric-id":3457752,"id":"Q3457752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$DC6C13AF-0C87-4DD6-965B-F58B5E3DB807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$2ECFE24B-A995-4F35-A903-CCE5616A614C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da8cb73d7f34d8a4c44aefbd2caaa7b4b0136db","datavalue":{"value":{"entity-type":"item","numeric-id":4704658,"id":"Q4704658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$073686DB-A9C2-4C2D-A550-F84C4B70940F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$707464F5-31B2-419E-8C49-D58B9AFCDEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5bdfd8680f424140c17a933a7f18619289f2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3985134,"id":"Q3985134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$16386F7C-0E7F-49C1-9695-EA612A4DF83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28c290fb9fb3e758d22d9fb46eadac45d430276","datavalue":{"value":{"entity-type":"item","numeric-id":1391932,"id":"Q1391932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$5774F68F-D26F-4E45-A85B-6E768BDFAEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$BCD2403A-9ECC-41C8-BED8-53565E267998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca511e8a59f8c29937fc0951b954c7c612f12517","datavalue":{"value":{"entity-type":"item","numeric-id":4935250,"id":"Q4935250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$0863C817-0A31-40EF-A005-0EFE4246BF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401237$5A8E8161-35D1-4E82-B33A-956F38BF1F4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e1ae540ebef0307b38eddf319eb839674cee4a","datavalue":{"value":{"entity-type":"item","numeric-id":4779159,"id":"Q4779159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d803cd8b5d3f6e1496fa9650150c6510f72b6715","datavalue":{"value":{"amount":"+0.9988514184951782","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":"Q1401237$1600FD8B-E0D9-4D27-A96A-2170248E1B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd249c5f1e45b7a13311f3847bc6d849c13d66a","datavalue":{"value":{"entity-type":"item","numeric-id":5718668,"id":"Q5718668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb15d167818973e21b8fe166a1354c3c21cdd103","datavalue":{"value":{"amount":"+0.7383930683135986","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":"Q1401237$BA1F6C42-8D6B-45D0-8000-0815350C2184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42384e56ae2a3d0e1e87e13f90a1ea680ef41a07","datavalue":{"value":{"entity-type":"item","numeric-id":4936135,"id":"Q4936135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fd429bd9d3f925c8d337ea55898151a6166d58","datavalue":{"value":{"amount":"+0.7259851694107056","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":"Q1401237$E1F683BD-99AA-4951-B78B-2EF2BCE83993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17dbae7f00f5de3071be14e213b0f9dba9c351ea","datavalue":{"value":{"entity-type":"item","numeric-id":5111186,"id":"Q5111186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a6438bbf434710f784993bd404f9c5f1707bcd","datavalue":{"value":{"amount":"+0.7089812159538269","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":"Q1401237$7A422C64-4E70-4F30-AC5C-BC09C009D564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe20ce0c443125a2bcddb30f2b99b32ba01be45d","datavalue":{"value":{"entity-type":"item","numeric-id":3006117,"id":"Q3006117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3626261f4a1ef1b7db616f0fb0f635568f04c0","datavalue":{"value":{"amount":"+0.7070872783660889","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":"Q1401237$7D6594E3-BFDA-4B32-B8EA-95652B898E6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier rank for parity of embedded finite models.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_rank_for_parity_of_embedded_finite_models."}}}}}