{"entities":{"Q5723182":{"pageid":7752736,"ns":120,"title":"Item:Q5723182","lastrevid":39633244,"modified":"2024-12-30T16:24:19Z","type":"item","id":"Q5723182","labels":{"en":{"language":"en","value":"A complete first-order logic with infinitary predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3186870"}},"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":"Q5723182$10C5F213-C2E8-44C3-85B8-DFD90CCCE5B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe023c3a9b3f27202274059e6ad9c559dc41d2a3","datavalue":{"value":{"text":"A complete first-order logic with infinitary predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5723182$1A97A95F-DE5F-4796-83F7-06A8EC145982","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1757ada6785beb5d64ebe93b0eea6c93919fe145","datavalue":{"value":"0115.00604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5723182$E4AD576B-9775-47F6-9F3F-6ABD0BEFA2DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb0aaf2cb17a70a009b0ece4f2356bce41c3167","datavalue":{"value":{"entity-type":"item","numeric-id":386148,"id":"Q386148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5723182$16538235-8349-4C16-986C-C9C492A6373D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5723182$C05714E6-15F9-4431-B171-A062C8409F49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5723182$C03748A2-A87B-499C-8E0A-D5268AF61596","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4049e8627da46d1a60fbb7fc0dbd3b4aec1a02a9","datavalue":{"value":"https://eudml.org/doc/213701","type":"string"},"datatype":"url"},"type":"statement","id":"Q5723182$57764212-CF74-4240-9F69-8673760C430B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfb029d535a2fca71c3e30e95964f27b80d1366d","datavalue":{"value":"3186870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5723182$A63DAFEB-5B3C-442C-9418-F65BA7BC9CA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5723182$9A0119B1-0B99-4F18-B99D-97FBDBA1AD8E","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":"Q5723182$0CCF5D8B-0FF3-4106-BB8E-2521249C17E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a06eb082c494d7272210c0035cf8b2a96fab22e3","datavalue":{"value":"W325312350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5723182$8286C04B-6DC6-40FC-9E6A-1A309938FD9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a7a411ed108ff2facb0909b9e1561e4a56ace4f","datavalue":{"value":"10.4064/FM-52-2-177-203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5723182$F9FCB904-D404-4636-9C5B-17FFBB408FB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5723182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5723182"}}}}}