{"entities":{"Q4995380":{"pageid":7024957,"ns":120,"title":"Item:Q4995380","lastrevid":91898990,"modified":"2026-06-05T00:21:19Z","type":"item","id":"Q4995380","labels":{"en":{"language":"en","value":"Infinitary classical logic: recursive equations and interactive semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7362742"}},"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":"Q4995380$70C75D59-08B9-4A77-876B-A7BA51682E5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55c79773dd2418a6078f0debd818e9f0306d0911","datavalue":{"value":"1469.03112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995380$8350A5F9-9F80-4EC1-A4CF-23D66773776D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c85b02af91ccf8406f9dba5d9be9b0d7a8e0539","datavalue":{"value":{"entity-type":"item","numeric-id":3003331,"id":"Q3003331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995380$185B5382-2FB1-41B3-BFCD-03AB8AE31618","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ccd645dac13aee75d2844835d2fad35a9a43cb","datavalue":{"value":{"time":"+2021-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4995380$1CF98B85-0DA5-4EFD-B86B-60AD428A29E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4550cdf6028c9aab2839cce8f71a9d44d032a5f5","datavalue":{"value":"https://arxiv.org/abs/1409.3315","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995380$B8BCC344-7D13-44F8-A1AC-C6597DB5CB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d44bc614151526df5bf9fed5a4c61c5a3b582e50","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC14.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995380$3111C7EF-A6AA-4AD1-9459-CBC621B1CF6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995380$CDB3EF7A-2C56-4C00-A3DC-70F4A6115517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0859126412f5b1a7bcb9d8d38ae5974952bec5e","datavalue":{"value":"7362742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995380$14002FBC-2F96-4858-8E77-D9FC20274885","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":"Q4995380$85ACC808-E556-46C0-8714-BE8895CA1635","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98495fc1bdae44586313bb722ee1fbe857d880e4","datavalue":{"value":{"entity-type":"item","numeric-id":4487378,"id":"Q4487378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c5211fdf9190bf7a3d0d0dffeabaae75994dd9","datavalue":{"value":{"amount":"+0.6957575678825378","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":"Q4995380$7C543894-7151-4BB1-BBA2-B070EEA66202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff6f80817dd96a065d2f8283c26187a08a010d9","datavalue":{"value":{"entity-type":"item","numeric-id":2373697,"id":"Q2373697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2de4eb977d8e41a13dece3b4b9f653e63023ff1","datavalue":{"value":{"amount":"+0.6883452534675598","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":"Q4995380$EC41C59C-F424-4AD4-9EE4-DC453A66A641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8d416a3eeeb34cb56cd2090fcfc240e555ce91","datavalue":{"value":{"entity-type":"item","numeric-id":2500484,"id":"Q2500484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a7b1d84e57142aad83256cccee5a227306bc1d","datavalue":{"value":{"amount":"+0.6875633597373962","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":"Q4995380$435C2EF6-4636-4573-ABF5-1D8B6997754F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12952f4718c74bfd88ecd73b13454497dd29bc0a","datavalue":{"value":{"entity-type":"item","numeric-id":4368450,"id":"Q4368450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab16d686df203e57c4d64e833b62e453c4d24afe","datavalue":{"value":{"amount":"+0.6831689476966858","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":"Q4995380$8EEF5402-5BD8-4277-BA51-ADDEF39EDF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2480ed16623a9a60c15999273fc50fee533e7c1","datavalue":{"value":{"entity-type":"item","numeric-id":5172129,"id":"Q5172129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab16d686df203e57c4d64e833b62e453c4d24afe","datavalue":{"value":{"amount":"+0.6831689476966858","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":"Q4995380$543ED370-43DC-4EE4-8B3D-DF3123605D44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary classical logic: recursive equations and interactive semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_classical_logic:_recursive_equations_and_interactive_semantics"}}}}}