{"entities":{"Q5507381":{"pageid":7536941,"ns":120,"title":"Item:Q5507381","lastrevid":92623217,"modified":"2026-06-05T02:12:20Z","type":"item","id":"Q5507381","labels":{"en":{"language":"en","value":"The first-order logical environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6665599"}},"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":"Q5507381$614762F7-9B4F-4A2A-B79E-5241EF9D1479","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8067c85fce811b59e23d11fc5ed19bf47025bd47","datavalue":{"value":{"text":"The First-Order Logical Environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5507381$43040623-914C-406F-9847-9529C6B62250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6116950a73b01f1cd8092fbd609183fe5533096","datavalue":{"value":"1352.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507381$BB4D4CFA-2A49-4629-A26D-075A50D8C973","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c2504b464b0df4e606343874b8a4969802b7997","datavalue":{"value":"10.1007/978-3-642-35786-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507381$2D57630B-B867-4BF2-B4B1-DDF41ABED0FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bdb011de4e5eb7fac67b24b84fa48a38d1a5f86","datavalue":{"value":{"entity-type":"item","numeric-id":3496311,"id":"Q3496311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5507381$FBD761D2-0081-4975-9B96-73B2E89FF7EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"60e112e087d3f21b4f4e39edef7d8526f3a30605","datavalue":{"value":{"entity-type":"item","numeric-id":5507379,"id":"Q5507379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5507381$80FAD19F-A05F-4F38-9C1B-20CFD91D8817","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0998906a3f5f9dd24dbdb46d708bb63d226654","datavalue":{"value":{"time":"+2016-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5507381$38274FCA-0835-4991-B889-71D5E004BCD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d48ef8c9606626642419b1b5ffb566eb8ba96343","datavalue":{"value":"https://arxiv.org/abs/1305.5240","type":"string"},"datatype":"url"},"type":"statement","id":"Q5507381$AA5BD3C2-8399-405A-ACEE-A534FD38505A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507381$8D794DC9-4812-4764-A68F-A397A3246A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507381$41F78CF4-1B6B-4198-AC82-B574EC89D65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507381$A2FA6B5B-C451-4E8D-B2AC-0056748119AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19e9742f76e75b1ba4ac76c845b98d2da9ba7bcd","datavalue":{"value":"6665599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507381$8EB01BCD-1F5E-4975-A3DC-26110F078BE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d247560fcb387765b057baa0f858b868c2ff5b2","datavalue":{"value":"schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q5507381$82B45E2A-A733-4138-837A-E03D5DB94EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5507381$46F8CE62-CE11-4DB2-992D-CCFA083B2F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6144280334559a6115bb843e62e7394a2e844ae4","datavalue":{"value":"structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5507381$17883FE1-BE85-4A0B-9714-CC0C6E4ADA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127ffaa7dcc9da0fb6c4b86d2c1eff9e3a7d9e5a","datavalue":{"value":"logical environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5507381$70161E54-8E72-4C75-A405-B9F0A49F5C0F","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":"Q5507381$9ACBEAE3-B22C-4C77-96F4-E2CD6B6DBFD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14aff731108ec0f67cd600d648fad1bbd743b292","datavalue":{"value":"W3105821502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507381$C0DCB945-D387-49CE-A711-773885E8455C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446f23a56f7090be795eeab7c858e888bd894fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3777499,"id":"Q3777499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a5d71452ce937db0119a75c8a41774b9caa35b","datavalue":{"value":{"amount":"+0.7390887141227722","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":"Q5507381$00E8111C-5152-476B-AE1E-6960C7CFD765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655f925209ca375d97e0ae9b257c79ab69874f24","datavalue":{"value":{"entity-type":"item","numeric-id":1686336,"id":"Q1686336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e27dda1ff8fb1b3fbb5ce27e74f6c7590a58ef","datavalue":{"value":{"amount":"+0.6991800665855408","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":"Q5507381$416C7B29-C0BE-47AF-A042-008D728955BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c99d6d42bbf797f6ced8191eef8eed9367e828","datavalue":{"value":{"entity-type":"item","numeric-id":2782484,"id":"Q2782484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc17e0ffd94a5a606cfe0edccf5f9ca231f9930","datavalue":{"value":{"amount":"+0.6978182196617126","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":"Q5507381$D79F81D0-B99A-41A7-8F01-491F243183FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e9557f6f5ca706362aa1d9a698b8b0fa30cea9","datavalue":{"value":{"entity-type":"item","numeric-id":5102486,"id":"Q5102486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc17e0ffd94a5a606cfe0edccf5f9ca231f9930","datavalue":{"value":{"amount":"+0.6978182196617126","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":"Q5507381$B13A0E86-31F3-4E56-8B6D-5EBC077F8187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09c629d399be65af48e0bd102831b30761dd875","datavalue":{"value":{"entity-type":"item","numeric-id":3184737,"id":"Q3184737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0783783392ac3998937708579426cca10022b2fa","datavalue":{"value":{"amount":"+0.6884893774986267","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":"Q5507381$0BA1FE81-607A-42DF-9011-5B4E82900E1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The first-order logical environment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_first-order_logical_environment"}}}}}