{"entities":{"Q4283073":{"pageid":6312674,"ns":120,"title":"Item:Q4283073","lastrevid":47231476,"modified":"2026-01-01T02:08:13Z","type":"item","id":"Q4283073","labels":{"en":{"language":"en","value":"Counting the maximal intermediate constructive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 515489"}},"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":"Q4283073$E0064B02-AECC-4FD5-A27D-9CA28056EBDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1a8dde521def69511c1d097a01b273bae54ea4a","datavalue":{"value":{"text":"Counting the maximal intermediate constructive logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4283073$07A2A2B1-4673-419E-B72C-6637295338B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b76b2c24bc3f928fdf0f85cceb48f665ec73c96","datavalue":{"value":"0795.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283073$53542F6B-4E83-4825-BC70-45D3FA691B99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc1820c3ea0fdb11a725fe5a43130ae31d8f7691","datavalue":{"value":"10.2307/2275149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283073$F33B7454-60B9-40F2-B8B2-D2EB561895A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$ECDE6BD7-6524-4774-AC5A-C211084CC313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$9B7CE6B9-51DD-4432-9023-85F48FCC77A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$23F99066-0562-4B2A-A358-4DCB1BF7811D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f73ce4bfe86aa855041ee7bf71ac722a256254","datavalue":{"value":{"time":"+1994-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4283073$90CF16B9-D137-4602-8076-16B84B2AAE43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283073$3B2E5D97-9232-48D5-8D91-C922199D15AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f2d002b833842cf8d419b99fc3536982311827d","datavalue":{"value":"515489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283073$86EE41DC-CDAD-42FF-AD5E-717CCD01ECF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2778df5795e6ee0f82c5563012ed3d48052941c4","datavalue":{"value":"maximal intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283073$AE7B5578-7C7B-4AC4-B4E0-A351C8365407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b31e4be9304f94ab85439f8150bc53f3df53fd8","datavalue":{"value":"intermediate propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283073$83456CA1-DEFC-40AE-B021-C8680DF7E84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283073$17B07D82-31EF-4539-A47C-54AFB2005732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68257f6b06a1a76dee78d93f061b5cd7267505a5","datavalue":{"value":"intermediate predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283073$A6011399-8E02-4977-BC56-11AD54ECCF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b14323adcfa74b47684032100e252e5a38ffcde","datavalue":{"value":"explicit definability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283073$86651D85-893B-4DF5-960F-4B35CAD6D1D5","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":"Q4283073$458659BE-2871-4CB0-8A27-B2CCBE0DFA15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0d857a7b118eb5f4dcd600bb415232a8539cf6c","datavalue":{"value":"https://doi.org/10.2307/2275149","type":"string"},"datatype":"url"},"type":"statement","id":"Q4283073$E8A5AF91-5A2D-4FE8-BD3B-C59BED037E9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d62d5f53b3271c2e21350ca337ba5b93aaae036","datavalue":{"value":"W2056412887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283073$CF3AD526-2AFB-4233-83C8-6F69B01685BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$6F8A5A0E-C2F0-4104-96BC-CCE36ED59674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$232308F6-93A2-4FA9-B794-54EB65537018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0310e42cd89ec966ff0db04df83f2f80f9957748","datavalue":{"value":{"entity-type":"item","numeric-id":5658080,"id":"Q5658080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$0855798C-D8AB-45C2-92CE-90186D814F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35270007a8b5b5aab8e168d2707e8c4fcf0f52b","datavalue":{"value":{"entity-type":"item","numeric-id":1843560,"id":"Q1843560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$C4A8D5F7-366A-440B-832B-CB5EB084DAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa4ece8cae4388ab5c7e0e3e50d0d2293249835","datavalue":{"value":{"entity-type":"item","numeric-id":1204112,"id":"Q1204112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$6CF74554-C839-4EAD-A663-980464670234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$72D557DF-0E5A-45B3-8342-EC4FC0DCADDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$BE951434-A8EB-4201-B97E-EF74098523C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccca3240d24a7025c3f1952ab9a80b0c7935186","datavalue":{"value":{"entity-type":"item","numeric-id":1148312,"id":"Q1148312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283073$A8BDF311-1392-4744-B1E5-B9E566ED6781","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3920737fae687a16de881e33c11f75c5ab930bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2563458,"id":"Q2563458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a87b288e7ed842986f0f3c437387dd667abfb9","datavalue":{"value":{"amount":"+0.8809692859649658","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":"Q4283073$D8014097-515C-4BB4-88F3-09DC38BB7704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0903965a9c0cfe11f2fc27ec1972889b50d9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2102ae16faaab40043b5b7bdeff0a590ab0d597b","datavalue":{"value":{"amount":"+0.8557533621788025","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":"Q4283073$EC8EE116-21C3-436D-BBB6-D288C69B39A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1dcb046ecbe546b36f74dd3f93b3da1323a6ca","datavalue":{"value":{"entity-type":"item","numeric-id":1902974,"id":"Q1902974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58a7385d74da15d2ea113a12ab94f31a17825f5","datavalue":{"value":{"amount":"+0.8129704594612122","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":"Q4283073$EACAEE6F-E2CF-4BF0-995F-69EBF0539E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ccbac6a9e5a2a16b01b387ac89faac139555c2c","datavalue":{"value":{"entity-type":"item","numeric-id":1311077,"id":"Q1311077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece2f1fec66a36557b285f64359602c0bf81ed4c","datavalue":{"value":{"amount":"+0.7999825477600098","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":"Q4283073$72391410-8375-4A52-93AF-CBE07E2C28A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8e164145591c13c2fe7fd184b7af4b9891b7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1975164,"id":"Q1975164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa985afd571b5f7cfc3c7c813f8d675fe450782","datavalue":{"value":{"amount":"+0.7940562963485718","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":"Q4283073$53F3A720-2D52-459C-9E03-30CB9BF935D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4283073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4283073"}}}}}