{"entities":{"Q1623002":{"pageid":1633742,"ns":120,"title":"Item:Q1623002","lastrevid":71538045,"modified":"2026-04-13T22:55:11Z","type":"item","id":"Q1623002","labels":{"en":{"language":"en","value":"Uniformization problem for variants of first order logic over finite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983404"}},"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":"Q1623002$71B4B626-197B-4810-80F9-7E45764E0E70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9111f823ef12892d9416e807c888a18357bea98","datavalue":{"value":{"text":"Uniformization problem for variants of first order logic over finite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1623002$6BA9F0FA-07FC-4422-8A11-EE07FEEF06C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9266e4db6f4cac2f4cc1580224d93f091f66a618","datavalue":{"value":"10.1007/978-3-319-98654-8_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623002$7DB6AB99-F19B-4F3B-8525-B28E3D51A10F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c217d38a36663a3c55b08af02d6533946d87ba","datavalue":{"value":{"entity-type":"item","numeric-id":1623001,"id":"Q1623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623002$62AC89EB-3841-4D0B-B67D-A7B8E8A2C7E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cf30b5eb4a6f9f904a0abe2b57b56fd1dee870","datavalue":{"value":{"time":"+2018-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1623002$7C24513D-68AC-418E-84A7-E00A2B439479","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623002$D2EEC434-C7D9-49F8-BE04-427447DC6740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5444298e54be46c8240ddbd3b213a12c5247f5bd","datavalue":{"value":"6983404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623002$23719581-AD60-486F-933B-C996C29D7DD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623002$9C9AB50C-13DD-4E09-A987-5818FF07075C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6feeacd2bcb2f9d4c1db0101ba407abfb5348d4","datavalue":{"value":"two variables logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623002$CC8CD542-18B0-4D2B-AE23-02602C0C43A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72abcb7b35fdb1ad58f4af37e6578028b6caadd8","datavalue":{"value":"successor predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623002$D926D917-BD7A-4C06-A42D-D7571F417723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1182631142412499643738afe82e0048be7b105e","datavalue":{"value":"uniformization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623002$B4C202F9-19B5-4C8C-BB31-F461DE6C7FD4","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":"Q1623002$4FFA14F0-1E81-431D-A467-228EEDE0C685","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ed22adef002ba1544eba24593320936ebf0ce57","datavalue":{"value":"https://doi.org/10.1007/978-3-319-98654-8_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q1623002$76C6013B-36A1-45DA-A2BD-4D9907E52342","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad2fd93c21b233286020c16f1ba8fc70ec01c692","datavalue":{"value":"W2886660881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623002$A9D51188-4E79-40A7-9549-045415739F7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42032f9745ace7a92b4dc862f9bd66ff8bf36262","datavalue":{"value":{"entity-type":"item","numeric-id":5278427,"id":"Q5278427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81cabc6602d440a20796434d905a72e9de62cd05","datavalue":{"value":{"amount":"+0.7340869307518005","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":"Q1623002$19D74821-3324-46E6-9AD7-113FF1C6956F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9525ae15a210cd4761dd91c478011b842d6e4e6","datavalue":{"value":{"entity-type":"item","numeric-id":3322069,"id":"Q3322069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13aa513f1ea9b104138bac69af0b4933329e4222","datavalue":{"value":{"amount":"+0.7317548990249634","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":"Q1623002$8B7D15DB-EE29-4F30-B275-02D5C48EF595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe6238421e405dbeac640d3fceacfe44e535294","datavalue":{"value":{"entity-type":"item","numeric-id":5351985,"id":"Q5351985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a92d54aeba698b528982cd90973db8c70b0fa5","datavalue":{"value":{"amount":"+0.7141138315200806","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":"Q1623002$4AEC3F76-C130-432B-9F85-1B2AC5812BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b156086851bdfc47649f0913d208a07d0f9d8b7","datavalue":{"value":{"entity-type":"item","numeric-id":5271416,"id":"Q5271416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c26f28526d41e61616b4d8fe2eeddaf229f5da","datavalue":{"value":{"amount":"+0.7099254727363586","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":"Q1623002$B309F0FB-3129-44F7-94E4-35AD1C7A6898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ee759e574a6c7d52387968dc7301a690385469","datavalue":{"value":{"entity-type":"item","numeric-id":2922030,"id":"Q2922030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e589af2465675da5e3646ef2964b5dc1acf2f5f0","datavalue":{"value":{"amount":"+0.7090619206428528","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":"Q1623002$971C04CF-F44F-4A88-8BD4-612ED148C201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniformization problem for variants of first order logic over finite words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniformization_problem_for_variants_of_first_order_logic_over_finite_words"}}}}}