{"entities":{"Q4736757":{"pageid":6766337,"ns":120,"title":"Item:Q4736757","lastrevid":90019814,"modified":"2026-06-04T18:53:11Z","type":"item","id":"Q4736757","labels":{"en":{"language":"en","value":"A note on Grzegorczyk's logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081819"}},"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":"Q4736757$5AED9BC2-2D8A-42F5-ABE2-A933EB4378D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba0f749027d79490cb531f3cfc42ba5dc9c36e2f","datavalue":{"value":{"text":"A note on Grzegorczyk's logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4736757$4F8FE933-2750-41A3-A856-E235F4088C7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e3efeb966ca68deea01fdb02cfdb87ab1931bca","datavalue":{"value":"1044.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736757$CBAB7555-C9AC-4D4F-85C0-B14F89F65586","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736757$F4660C13-9D41-4A68-8024-61E532F3E5F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736757$29A5A21C-928F-4E2B-93AC-3F971626A504","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4736757$A22E2AA8-F78E-4494-853D-B90427E5E9FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736757$5245ACA9-3A52-4A0E-A843-44166E4E1C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736757$26E28E38-E25B-4AE2-B643-E3399AC05F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736757$443AEBA1-FAD0-4CB5-8F00-DCB14E9CAEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736757$B55F08BE-5C81-4739-9CBB-EFE8518550B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38db81d2a87041bb1fb854b03bd8fbe9445f3ae0","datavalue":{"value":"2081819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736757$1DD2C61E-4B75-4A05-961A-60C88298FFED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23cc464888acf28f25bbfeb1a7dbaeb49294f1a2","datavalue":{"value":"Grzegorczyk's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736757$DF0F66B4-7FC1-454E-938A-CDF21489BA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736757$547BBB8E-E0DF-43BE-BEC8-F7868B699DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736757$3FBB6FCE-4DB6-4AE1-9B95-C4D552E0DF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27dec064b3be20422499d7d4b3868489cd2827ac","datavalue":{"value":"well-founded relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736757$FF9E3597-22E1-4CBF-959D-B27C90654515","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":"Q4736757$7D40C2E2-2FE5-44A1-97AB-1723CEB0AE2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5273d895d6e3b2f4b033f22cb04f709cdd46c317","datavalue":{"value":"https://doi.org/10.1002/malq.200310094","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736757$7C7D3905-CCCA-49F7-8B08-595CFC18FAC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17357204913e8680748e72f0b0a94eacb8396552","datavalue":{"value":"W2112038822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736757$72D3C73F-81E7-4FCD-B7E3-DBEF0EDA0A6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62067fbf870cc8dc41c24d83a5ac740c316bc979","datavalue":{"value":"10.1002/MALQ.200310094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736757$6E725A7D-6B8C-4BF2-B901-45793275DB05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f67801b52a527fb9014cdf6ab3e49ba3f542dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5001550,"id":"Q5001550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2958aa9a20f86405c813b382cb0384b42a687766","datavalue":{"value":{"amount":"+0.7882367968559265","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":"Q4736757$C2387BC9-315D-4E7A-BF45-87EC6EA53A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5085a4f190468c7d040e315facfc5b23ae9b19","datavalue":{"value":{"entity-type":"item","numeric-id":1685937,"id":"Q1685937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a72efa390e19acb1d449497fc3193160b79a0e","datavalue":{"value":{"amount":"+0.7856034636497498","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":"Q4736757$4C13158D-7C09-407F-AABA-38FF60FF7983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d24ebf1716bf7802642c27c6d13e07f422bdde1","datavalue":{"value":{"entity-type":"item","numeric-id":920987,"id":"Q920987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22eabedf8199bef29b8181b6d2a947e1c71fe660","datavalue":{"value":{"amount":"+0.7730898857116699","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":"Q4736757$7118BA74-6279-4D50-A58F-977ABE4F52E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1aa71283379be67e2c23bdee008814a53f386b","datavalue":{"value":{"entity-type":"item","numeric-id":4396604,"id":"Q4396604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21981da6bc895bfb80647bc5498cba5ddf06e7e7","datavalue":{"value":{"amount":"+0.7618991136550903","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":"Q4736757$ECBEA2AB-1A7B-4893-9413-AC12EF68F32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3709b2cd8b5a4f7494df1616fcf70442dc80c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3358710,"id":"Q3358710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0921e0eba8d3dc03a16fbf2534adf9a44faa020e","datavalue":{"value":{"amount":"+0.7568994164466858","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":"Q4736757$93064BFA-B52B-4E16-B376-91FE0D2C0AA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on Grzegorczyk's logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_Grzegorczyk%27s_logic"}}}}}