{"entities":{"Q1262299":{"pageid":1273049,"ns":120,"title":"Item:Q1262299","lastrevid":49327753,"modified":"2026-01-06T23:34:49Z","type":"item","id":"Q1262299","labels":{"en":{"language":"en","value":"First order logic with empty structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4123699"}},"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":"Q1262299$0C9C1F6C-2043-488E-BDF4-305C5D456B48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab6b8e83dcc85cbc0aac9c05eb36678e2b928247","datavalue":{"value":{"text":"First order logic with empty structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1262299$D19BD636-050F-4229-9B49-331E0D4E8F03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"732ca9420b1fceb6c575d9a78db2e4cdd6afba1f","datavalue":{"value":"0686.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262299$ECD5B6A8-4A13-46D2-9EDC-6E2E16657A7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f4c26adfb6d6a3797803e069a19a966140894fc","datavalue":{"value":"10.1007/BF02770510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262299$085C5348-B52F-4787-B609-E773B25D1254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56ccc9cf83d8638a5a32f5d80b04b770a34fb0bb","datavalue":{"value":{"entity-type":"item","numeric-id":1262298,"id":"Q1262298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262299$3E3CCE58-71BC-4E1B-9F63-5EFB9FB9FD36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262299$E5BEFA7F-28F1-4DD4-A706-867290843224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1262299$BA071DC1-3F41-44B6-A37A-0D2FCEE3DAE5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01e04dff60d343dd1b6372353420c07086df09c9","datavalue":{"value":"By an empty structure the author means a structure with the empty universe. He considers first-order theories of empty structures, discussing in particular axiomatizability, compactness and decidability. Some interesting examples of well-known model theoretical statements are adopted to this context.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262299$44757D79-5A91-48EC-8097-0E855AB3B936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262299$6D72D931-3CAD-40E5-920A-F54B37AB451E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262299$4091CD08-6D75-4E55-9CDF-C87A26BA5FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262299$181C4AEE-7D25-4A6B-BF5D-0D39752F62B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262299$85DADC1E-7D65-4E26-9B58-F2CE8E071C9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e402e95883622d0b5b35b466e3f7057ae23f4f3","datavalue":{"value":"4123699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262299$BD10B2E4-8779-4155-BE69-4E86D9F2ED88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd8bd8638f039e603826bc694f1daf90b2c880f5","datavalue":{"value":"first-order theories of empty structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262299$2BEA58C0-90B2-47BA-9800-70F463DB066F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262299$E7A81FB6-192A-4D5D-99A6-5BCD2E580C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262299$ABD56C2A-E4C3-4A17-99EA-298640776F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262299$D25BBB88-9B68-435A-B82B-3F8386EB7CC7","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":"Q1262299$DC84D1A8-EC4D-463D-827A-9A056B1A72DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e636b690882509d3daf2f5a0072262358b794beb","datavalue":{"value":{"entity-type":"item","numeric-id":5821420,"id":"Q5821420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262299$1C7FF816-458D-440D-907B-3E6908B006E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262299$BAF073C4-098A-4616-96E0-0AFA2B8AC843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262299$5B526BB0-2CE8-4F44-99EF-229A38312035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b4606e96f20da648093bc7dc6078e0a581e69d","datavalue":{"value":{"entity-type":"item","numeric-id":5804996,"id":"Q5804996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262299$031893DC-EBC4-4EBD-86A8-3C45D6090C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1174355053c8b8114ec150c390e33a5623fb52","datavalue":{"value":{"entity-type":"item","numeric-id":5827956,"id":"Q5827956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262299$B5AC98E6-C375-42E1-AA3A-7F082D73E32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb8ae6dd547dcff738a8b576fd059aa1743a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5845414,"id":"Q5845414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262299$598B2759-67CB-4778-8540-7A5DCFB80241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262299$26BF4124-70F4-4405-9751-DA3A74930A8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49566f034edd671173960d1137b6b2f28b682810","datavalue":{"value":"https://doi.org/10.1007/bf02770510","type":"string"},"datatype":"url"},"type":"statement","id":"Q1262299$50374C23-394B-4D14-A093-CD71A95BFE8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49fdb2e5e1469a284e40b6957259f31c48a749f2","datavalue":{"value":"W1985256919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262299$D358504A-DAFD-48D2-A952-B1E47E16F589","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"289cfdaf33f3387ab02453c5580e8dbdd3efcb28","datavalue":{"value":{"entity-type":"item","numeric-id":2933402,"id":"Q2933402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b63437bd5cf01df5994b881ba45072b68076d0","datavalue":{"value":{"amount":"+0.7523574233055115","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":"Q1262299$D588609B-69B6-40C5-B16D-D08E339BAF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34ac961f6cc9a8d84cb665236d3b4f56c6a8eef","datavalue":{"value":{"entity-type":"item","numeric-id":4465170,"id":"Q4465170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b6a283c200fb121ecf88925b29192f6a72a582","datavalue":{"value":{"amount":"+0.714383602142334","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":"Q1262299$3AF85122-E69A-425E-ABAF-DA988842E365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e2eb9c5144147c6f8998dc585cd2b1df86628c","datavalue":{"value":{"entity-type":"item","numeric-id":3081830,"id":"Q3081830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc5a89d1224b1f7563a15d51d82aad5dd55e607","datavalue":{"value":{"amount":"+0.6986557245254517","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":"Q1262299$D7944DF3-705E-4B6B-9F88-739E977202A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3041281cfdf92cbbd19834fda6fb0849b4cfa2b","datavalue":{"value":{"entity-type":"item","numeric-id":4662026,"id":"Q4662026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e7a3cc859aca4740f832c64ee3627aaa529a78","datavalue":{"value":{"amount":"+0.6910668611526489","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":"Q1262299$03DFFA3D-C393-4BE7-9CEA-A592C1FA5A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e66c8a9698c53ba10f9ae5caf944ef9618bef9","datavalue":{"value":{"entity-type":"item","numeric-id":4861490,"id":"Q4861490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ddda5658bd247d4e218c5a7b9a0326728fc38d","datavalue":{"value":{"amount":"+0.6897757649421692","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":"Q1262299$67E21F30-2355-4AC0-B970-CDFE45C6916C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1262299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1262299"}}}}}