{"entities":{"Q5927982":{"pageid":8104784,"ns":120,"title":"Item:Q5927982","lastrevid":101999171,"modified":"2026-06-06T03:17:10Z","type":"item","id":"Q5927982","labels":{"en":{"language":"en","value":"Combining enumeration and deductive techniques in order to increase the class of constructible infinite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1579154"}},"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":"Q5927982$D9A9C55A-7405-48AC-940C-341F5D7D944A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"367ea8667bc3b89ec746e666a816789427b6d8bc","datavalue":{"value":{"text":"Combining enumeration and deductive techniques in order to increase the class of constructible infinite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5927982$8D7FEDA4-C1A6-4F13-9F2C-B4247E55E828","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec4b711436f348545f0fa935ce79bb94f040c5a7","datavalue":{"value":"0965.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927982$2410355F-A4C6-488E-8DF5-3F4820F67B4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$E75A6A8C-9D08-4415-9F80-B1988CB07A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$97AAC022-5C74-4A61-92B1-9B30AC9EB700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$C0D735F1-7BC4-49F8-8743-87D5CF4F912C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da0ddb63369ee51f0c4f965ee150089663821f4","datavalue":{"value":{"time":"+2001-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5927982$15537F23-C1C2-4F34-8D09-93CAF1F7A037","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0a82f1a82a4104bd3d35cd448a8e8461cbcc7e9","datavalue":{"value":"https://semanticscholar.org/paper/1c7c53b3f907cb75d3f59f68be0bcd0175b38fe1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5927982$84AF874C-35E2-4688-87C8-8252B473C264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927982$3EC338FA-B6EC-4605-B331-341E889B54D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927982$D09CE233-A80A-43D2-9820-162BC40CB79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927982$8E4E8FB6-4F11-4994-A0B6-3086CD802E67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b093acf51c85f0226589be3776868f8f2c4998a","datavalue":{"value":"1579154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927982$8426EA19-532B-498C-8960-E3DB8075319C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927982$A9AFE2D4-D8C8-4CAB-8BAE-AD19CD93F155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927982$D49E77D5-2B39-4355-B78C-0158FD7B54E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f6cad1e9a86b637b8b980df24f8ab7d044be471","datavalue":{"value":"infinite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927982$51EB90BE-240B-4FA0-B795-EC7F5208CB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36997e32b1f4b6914a4a93419843d8cc0a96d64c","datavalue":{"value":"enumeration techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927982$74FB90EE-63AE-4EC8-AA53-31B3038A6572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f26ad2130ddc4077dc89d50aa62c0e6a25724d","datavalue":{"value":"Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927982$356F8663-4587-4E98-9ECE-FC7416AF9327","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$64DAE85A-7481-46F9-A534-3B4271F81ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c52067912b0b36fecbbb51adf44957c3c2a0bee","datavalue":{"value":{"entity-type":"item","numeric-id":18797,"id":"Q18797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$150E2860-7525-4646-8EEC-5EB41CEE02A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$5EE68978-5D41-4C96-ACA9-756D0AE61B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"daf1126f3bf58ae583160328d0dec0da3aedc25e","datavalue":{"value":{"entity-type":"item","numeric-id":40434,"id":"Q40434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$F8EB48A9-4745-46F9-8ADD-A745F83929BE","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":"Q5927982$E075EF86-46B2-46FF-B4BA-86F7E770C1BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4925324c7e91ee59cdf3057ae7db8a0d217ba0d","datavalue":{"value":"W1964186134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927982$44C5E9DE-7A56-49D6-916B-55EEFDF1081B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4b2cc45597c6adb320160f2d26e8212e854497","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$6E762596-05C6-4BEF-9654-FB4B1E9E044B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19505d15f4f89530d10aab28f5ab0b6c7737db8","datavalue":{"value":{"entity-type":"item","numeric-id":5210763,"id":"Q5210763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$4DB1EAC7-68BD-4F90-B2BE-3D983334B1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cdec34fa64c4fe94079af9a70deb0327c75541","datavalue":{"value":{"entity-type":"item","numeric-id":1201346,"id":"Q1201346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$2366B6E1-722F-48A6-8208-D680A7354EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6480e2a885f5d2e73184cc8bbed4b0ea103f0249","datavalue":{"value":{"entity-type":"item","numeric-id":4645233,"id":"Q4645233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$01185876-5AEC-4EB4-A8B6-208A82B85D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882ccb352bc278a61656169416bc21434945349e","datavalue":{"value":{"entity-type":"item","numeric-id":1373300,"id":"Q1373300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$BE57697A-4A1E-4310-9525-A00D39D9FB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7251eb542cf9f4bc5047c5105a2dcf8298435daf","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$3CF6A67E-524B-4670-AD29-D74E071B4899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1867080c0034d7856d12fe14b76198e231d90233","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$1854AA9F-27FA-4482-A18E-50B23769FB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ff82ab2dfa1864c5faf26125e582b6529d29d1","datavalue":{"value":{"entity-type":"item","numeric-id":4272502,"id":"Q4272502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$6F447552-3BF8-4357-A118-9E47F47F9604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795bcee8c82c3eb3bbe1d7fbba253638ccbd8a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4314599,"id":"Q4314599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$A2D789CD-4546-424B-8298-E64BDEE4F43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$233C7FDD-E815-4D7A-ABDB-C90E44A674E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$DFD5DE87-E922-4FA1-9049-70C2949094F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$B57A7A9A-311D-446B-9EE5-A99D808D80DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480d71a12029c796e3202b21fb577daa6d9c005d","datavalue":{"value":{"entity-type":"item","numeric-id":4647537,"id":"Q4647537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$33E5FFDE-8E8D-4546-9370-7927F389DEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$28515EA1-2DBC-48FA-84B3-DEAD08F734AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37da6481d3393a5a430cfe31bbfd3e1bb865a00","datavalue":{"value":{"entity-type":"item","numeric-id":4380444,"id":"Q4380444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$D2242F3A-A177-4498-A26E-CD90B45E357E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e95e4ad8a1c26487d3ff7728ab264483e45ea","datavalue":{"value":{"entity-type":"item","numeric-id":1310269,"id":"Q1310269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$0B7DA451-8BE2-4E5B-B336-B50EA0EF2359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$01F0721C-6AA7-400C-A6BB-0FEC50EADD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2d3e80b41f170ac4196b6987278b1835728d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4755550,"id":"Q4755550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$820E886D-D06E-4325-995F-4B997EA0E430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$C89256FB-6DD7-43AA-9E0B-F134AC29C458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$5071B6EB-95A5-40B2-A00C-D5628291EC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba991d4e866ef355b82f0e4f0cd0605eb8a7e90","datavalue":{"value":{"entity-type":"item","numeric-id":4362927,"id":"Q4362927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$D29897C9-93B7-44F2-A8CB-18CBB6353ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f938c7149c1722590d979c90fe9b7d42511907d","datavalue":{"value":{"entity-type":"item","numeric-id":1383996,"id":"Q1383996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$83358A45-3A1F-4D4D-B991-038404A0660A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39d523debed46220be566420075cffb59cd405","datavalue":{"value":{"entity-type":"item","numeric-id":1360965,"id":"Q1360965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$7DA478A8-4A97-4636-8B39-AC8961F01930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83632a0ceefc6ec6fda1a07c18fcb06fda9e1ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4610336,"id":"Q4610336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$47484FA6-FB20-4A6E-A7EB-F272B98A8856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43494860626967b7048fc0935e6b9a3f87ded8a2","datavalue":{"value":{"entity-type":"item","numeric-id":4349580,"id":"Q4349580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$29EFFEC0-5D2A-49BB-AF43-C7C5AAB59A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952f869d8d49e312a3c92e5977855978f654a1b4","datavalue":{"value":{"entity-type":"item","numeric-id":4209295,"id":"Q4209295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$FF7C4E07-68FF-4A60-B20D-18F50502CA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$32410D13-A24E-440F-B255-27C6ABD64FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$E8D7570B-BEBA-4CA8-90E0-06E4B5606AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd379cd3bdf04144236b4ba7f69e8c77bec3c700","datavalue":{"value":{"entity-type":"item","numeric-id":4560350,"id":"Q4560350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$F929CC03-8A34-461A-A93E-F151E9155874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9c3982efd0f7ccc059068ad9e9a439bba5bf60","datavalue":{"value":{"entity-type":"item","numeric-id":3949989,"id":"Q3949989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$586E6068-BE36-4649-9F4E-41C1FAD28949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927982$A66127E1-EE07-43F5-91C9-172F01487AA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35002635835d1a53946e69d65f86e6a9c06b7601","datavalue":{"value":"10.1006/JSCO.1999.0360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927982$3B518813-0E12-4E8B-B7A1-22A799392C0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cefb701784a16939bba13f30dadcd92d23de286","datavalue":{"value":{"entity-type":"item","numeric-id":5505496,"id":"Q5505496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51773dcc365e20b0e0db5966e90ec2e24e07ec1","datavalue":{"value":{"amount":"+0.7829790711402893","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":"Q5927982$50BAE097-23E8-4941-8758-4C9236D71C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f4120ca290853e4198bf02a0490f26b0409e3c","datavalue":{"value":{"entity-type":"item","numeric-id":1044230,"id":"Q1044230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d16fdd8e80a0d8b3e21e797ae1bb38f85d40e6","datavalue":{"value":{"amount":"+0.7699453830718994","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":"Q5927982$030801DB-46AD-4524-9780-7FCBB67AB2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed581130f80ce7853e1b7e619d65d17e21d1ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1404976,"id":"Q1404976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c0b884f375adbafdeed13c37ba31c5eb402665","datavalue":{"value":{"amount":"+0.7584107518196106","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":"Q5927982$A12E66F9-4A44-4CD1-93CB-109AFDF938D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b218c4ba3c0ee3527ebaf03168166dd2cb9217ec","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f2af534237934c918990eac1284f5f659e012c","datavalue":{"value":{"amount":"+0.7532230019569397","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":"Q5927982$E3184574-33DF-4A08-B221-FB38297B36BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee72c1c024ffd18fe11bdc5c57f16f57a15b4a60","datavalue":{"value":{"entity-type":"item","numeric-id":1360965,"id":"Q1360965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f2af534237934c918990eac1284f5f659e012c","datavalue":{"value":{"amount":"+0.7532230019569397","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":"Q5927982$0505E2FA-F0F5-4B0D-AD59-72002117C08A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining enumeration and deductive techniques in order to increase the class of constructible infinite models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_enumeration_and_deductive_techniques_in_order_to_increase_the_class_of_constructible_infinite_models"}}}}}