{"entities":{"Q4644481":{"pageid":6674062,"ns":120,"title":"Item:Q4644481","lastrevid":89969882,"modified":"2026-06-04T18:45:07Z","type":"item","id":"Q4644481","labels":{"en":{"language":"en","value":"The principle of open induction and Specker sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997870"}},"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":"Q4644481$047053AE-2A6B-4EBB-8173-384B31C50D01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20acd31cf024dd28eeb5d6160d9f0a7e2a459b0e","datavalue":{"value":{"text":"The principle of open induction and Specker sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644481$B37627C3-C075-4625-B9B0-F1C1AAADADED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8d008a1ebb34c50b6b9c70d207ef593492db475","datavalue":{"value":"1405.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644481$6E3E8126-C91D-4F2C-B88A-4F9F85328D0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644481$7A7E1284-1BC7-4839-A261-1B42D1B07D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e72215816bc905771a29ea843039ca8a0ca8f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4644480,"id":"Q4644480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644481$F2C286FE-90A9-4FC6-A03F-DC32B9A86950","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644481$1188946B-AE75-4E57-8ECB-80B8FD764842","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644481$C9812407-A1FE-4EF1-A143-8A6FFD97C70A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644481$DA11EA86-6072-4195-A4F8-9668DFD74DC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5605828dc62ca48001a18fe6a7ef7b8493bfb189","datavalue":{"value":"6997870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644481$0AFD7225-486C-4680-ADEF-5661909529BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5bf01859dc6e174a38a62ffaa9d31872bbb1c57","datavalue":{"value":"construcive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644481$3AE41C93-A55B-4218-8A9F-0B1253F40384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644481$A913D4BB-23EF-40CE-951D-3CCDC98721AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce50ce6efa02ff0d7b29a432d0fee404f168688","datavalue":{"value":"Specker sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644481$7A363654-7387-4469-BF0A-56D6BD768DA1","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":"Q4644481$A41A687A-DFA9-4D14-9347-617AAF744DCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea9842f80d82d67e98cb3c4e015ef8c835ad7def","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzw064","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644481$C4D82C4A-74D8-4ECE-98AF-59C826CAA535","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"328e527b386d3ae810c5f045b1025a8d2897b5ae","datavalue":{"value":"W2590335204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644481$00F7A2BA-6F9E-44FA-8639-1576576EA5DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5970450a1e7107c78af1e1072fb448bb42a19067","datavalue":{"value":"10.1093/JIGPAL/JZW064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644481$D3064DAE-1BCD-4879-AACC-63E7EE2B1D0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773bda0b7eb6c80b103406465b5e50ec62322651","datavalue":{"value":{"entity-type":"item","numeric-id":3650323,"id":"Q3650323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0050b116849c48314ddbcae999fe0b31959f31","datavalue":{"value":{"amount":"+0.8472560048103333","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":"Q4644481$09A63196-B73A-4F0C-A31B-56F7C5E04CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95c8768f227fe0565bc8529035fd90c2ab6b45a","datavalue":{"value":{"entity-type":"item","numeric-id":5222539,"id":"Q5222539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef027adf41bff9ec7fdc1e7512a448bfac1e212","datavalue":{"value":{"amount":"+0.8219185471534729","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":"Q4644481$57913FFE-AED5-44D2-898F-F4244D3154FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee93ab9360fe2d3fe06e73c4c11646851458e92","datavalue":{"value":{"entity-type":"item","numeric-id":2368911,"id":"Q2368911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5952e44a8d6e5bd41cc27e8cfdf13ddb6f6dc95","datavalue":{"value":{"amount":"+0.7465499639511108","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":"Q4644481$49C494C3-633D-42BD-AE74-0261FCC00136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97021f61c47a92bfbadafa680a4734d45d837684","datavalue":{"value":{"entity-type":"item","numeric-id":512134,"id":"Q512134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840043e13b099d89cb9f9147efe12dd0a31884d3","datavalue":{"value":{"amount":"+0.7347887754440308","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":"Q4644481$B696621A-A796-44F5-9400-759B00C22F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb1606410e789aa34a85f618dd2954e94a12d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3315508,"id":"Q3315508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba334dd7fb973df3f30cc7309a8514254a0092a","datavalue":{"value":{"amount":"+0.7285869121551514","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":"Q4644481$6C28E38E-AE21-4946-98D9-539292D29F6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The principle of open induction and Specker sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_principle_of_open_induction_and_Specker_sequences"}}}}}