{"entities":{"Q5092557":{"pageid":7122133,"ns":120,"title":"Item:Q5092557","lastrevid":54369350,"modified":"2026-01-26T17:21:53Z","type":"item","id":"Q5092557","labels":{"en":{"language":"en","value":"G\u00f6del justification logics and realization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561909"}},"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":"Q5092557$BD67D2BA-1A11-4465-842E-69C730ABFF2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a9ff0d068f0a4a377d94fdc39a0b95d24582d7e","datavalue":{"value":{"text":"G\u00f6del justification logics and realization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5092557$801BF2EC-6026-49EC-BAB4-550EA93E03B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be79e0a247bddf01b4abe7ddf0cf2cef195a20dc","datavalue":{"value":"1494.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092557$C2CA6B54-5CD7-46F9-8413-0E6B656EEA8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12ac7b491a756e57cbdc16ec722c48d61934bafa","datavalue":{"value":{"entity-type":"item","numeric-id":2129631,"id":"Q2129631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092557$A3FC6A4F-866F-4BF6-A575-9086ABF7532E","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":"Q5092557$64398BFE-41A4-4D72-A01F-683B4146A435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d46ecef1ec827ad3e2f040d1d1db4685eddc02e8","datavalue":{"value":{"time":"+2022-07-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":"Q5092557$F866677F-82B7-487D-9F77-24E102BF7057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092557$F6E23905-648F-45CD-BD98-C2467A6938A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092557$37C872E9-B2D9-45C1-98A7-F0E87F65ACD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092557$536A7DD4-EE51-425E-A0EF-31B0371E0AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092557$A537740D-3083-49AE-B309-5FF5628F856C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e3b98bb73b8ee837de44470a874316d978e8a79","datavalue":{"value":"7561909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092557$388F6705-2AD2-4E10-BAA7-241216CCB92D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092557$CCBB7603-89A8-46CA-92C1-2AD772EC8E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092557$D0AC461B-D478-4CDE-9FA0-F12E5D5D52A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092557$BE4170DA-2A25-460F-90FE-9A861DF88F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092557$0D354807-6C2C-4CA3-90C2-4E0BE4DDA926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b355c8a4174d6d8394d7bf240c24bc9a0be14b8","datavalue":{"value":"realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092557$282A6B52-EB4B-4D79-A26E-2E189767C9CA","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":"Q5092557$C8D647B0-C48C-46FF-B52D-78DCBE51FF29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f770ef787c4180a5da03af13332ef4d3285e011","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzaa070","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092557$78D07D75-879F-4030-B828-10881FE151B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41b2b0febabea1147ef99990f4ca75c1c7b25956","datavalue":{"value":"W4233154285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092557$E56CABB6-C7AB-4FF7-9D61-726B9F6E0287","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f5d4b3fe3d9dc01f39a81d4b3386a25b4c153d2","datavalue":{"value":"10.1093/JIGPAL/JZAA070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092557$292C9C28-1D8F-4423-A27A-71C3F1627EDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5646299774de4ddc4302c0fd8a64fd9710fe67d","datavalue":{"value":{"entity-type":"item","numeric-id":286591,"id":"Q286591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d58c09f4dc3ea2e23079399692cd0b0cbb28a25","datavalue":{"value":{"amount":"+0.859853982925415","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":"Q5092557$071384DC-8397-4F24-9822-07C1B6483F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbd44ee1b1b98426b864ded865dd19c5f484468","datavalue":{"value":{"entity-type":"item","numeric-id":2957859,"id":"Q2957859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96554c6caae923c8886249099393bb14d49a200","datavalue":{"value":{"amount":"+0.8434508442878723","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":"Q5092557$6D77EADB-6757-4617-8FE5-029A40ED8EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3f64cac5fed0feb1f765cc37abce3515701e74","datavalue":{"value":{"entity-type":"item","numeric-id":2804327,"id":"Q2804327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0985443ab9775a16ccf12ce62c223b2f27013891","datavalue":{"value":{"amount":"+0.8291025161743164","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":"Q5092557$6C8493EB-4CE7-4BA0-902F-0E03E26402A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f1e97173db305564213a200ec48a7aa5ca858bc","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e779eabedd906ac5dd294d9f021664ed84ddbe39","datavalue":{"value":{"amount":"+0.8200617432594299","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":"Q5092557$7067FDD5-38FD-4DC8-A259-05B5717B94F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a5bc372976a1bb01bb1c862a35a9adbc1159a0","datavalue":{"value":{"entity-type":"item","numeric-id":3455773,"id":"Q3455773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a808d52e41f4bbf8e878baff682d85cad451dcb4","datavalue":{"value":{"amount":"+0.8195844292640686","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":"Q5092557$F4809F39-1B80-4485-9686-D328A9F47566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5092557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5092557"}}}}}