{"entities":{"Q1791054":{"pageid":1801796,"ns":120,"title":"Item:Q1791054","lastrevid":69139266,"modified":"2026-04-13T05:01:37Z","type":"item","id":"Q1791054","labels":{"en":{"language":"en","value":"First order logic without equality on relativized semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946836"}},"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":"Q1791054$A1171F22-4915-4EE6-8EAA-0DAA1723AB9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c48af761846cb4872f208c138879961b14e535d","datavalue":{"value":{"text":"First order logic without equality on relativized semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791054$6A6BDD3E-0DAF-4972-A418-18DA19EB4DC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50b331e77ab60753f10b71b0258bc91f5c3f327a","datavalue":{"value":"1453.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791054$B1B6E44E-BFC2-41AE-9B0B-030C33898E0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a711f1449fc5731209224c34675267fcced5036a","datavalue":{"value":{"entity-type":"item","numeric-id":1791053,"id":"Q1791053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$B9530F62-4477-493A-A0C4-DA8C12B9C09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4961c2cadf61da6df1215c35512b906247afc7","datavalue":{"value":{"entity-type":"item","numeric-id":1731560,"id":"Q1731560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$128BCE04-9AF7-44DE-A93B-6AB0E4FD676B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$84E681E5-6712-4D51-84AD-3D16F0405FF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791054$E5B1063F-0D62-4CEA-BBC9-96282F41125B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"053ed24a05b88c29a119ca5d239e666e9f2c5539","datavalue":{"value":"https://arxiv.org/abs/1807.00690","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791054$9590C5C9-9764-4FE9-863C-3FBB18DB7202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b10c6d3660a537c6485ddf3e66e3aed5317101f1","datavalue":{"value":"http://real.mtak.hu/90014/1/1807.00690v1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791054$BED614C1-E706-4006-BE79-D728DCF68BFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791054$A05851D3-FC1E-411B-9616-278C262F73F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791054$BAA93E22-5A65-4E74-A710-A7D9BFBB9637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791054$531D6DD8-E18E-4E86-BE54-5DA1DD024E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791054$590C5481-74A8-49EF-967E-A6B11CD61A8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23ce3b84808fd2f592a8c93b2e357bd2c04d0455","datavalue":{"value":"6946836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791054$3E627882-19FA-466E-B42F-C475AA6CDB59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791054$AB4A33EC-9690-47CF-A228-B1C5CC6ACAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b33f354f45ba97ebe5cc17236ae01ef2d2b38","datavalue":{"value":"atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791054$A5F6E41E-C2AC-4D55-915F-C93FCDDEA646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13392ba60e13c24c7be62d794bb77718fa97b1b8","datavalue":{"value":"zero-dimensional elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791054$55EED550-7A82-48F3-AF31-94173DFEAAD1","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":"Q1791054$2D2A840C-B6D6-4B85-AB72-F094E6490F96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c2b9e5b8152eaa83594dd6da33dd2b1468a6502","datavalue":{"value":"W2962891139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791054$0ACCB9F1-83D5-4D84-90B4-819CAFE2E048","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa8a855635660c18bee8eede803ea3e36d90e47","datavalue":{"value":{"entity-type":"item","numeric-id":5905422,"id":"Q5905422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$F157528C-72B5-4EEB-B6B4-36B291787DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119ecf6ec88d26a47ed86b0982136fda8cb8d1ce","datavalue":{"value":{"entity-type":"item","numeric-id":3998034,"id":"Q3998034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$EC4B0997-ECAC-43A5-86B5-D6610005879B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$44B5AFDA-C4A5-4EF1-A2B7-269BB676CE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bd74e89d5f58966b2ca1e9b67d91549ec49b41","datavalue":{"value":{"entity-type":"item","numeric-id":4254632,"id":"Q4254632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$3705ED55-F43B-4D68-ADBF-98456A30B8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54724e6618538986f94bda2c0a18bed26e372034","datavalue":{"value":{"entity-type":"item","numeric-id":3454820,"id":"Q3454820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$7F79AB16-1420-4DE2-8532-C7EBD9A0BF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8a26949d557de522cc17586399689d572c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":4011708,"id":"Q4011708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$ABFE0A92-8F4D-4C99-87BC-9FA66EE699FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$88753464-AC31-47B6-875D-D135CB7650CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f38cc3486862f4f727ec2639f902b53015e009","datavalue":{"value":{"entity-type":"item","numeric-id":4029628,"id":"Q4029628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$839ABBCE-20DD-436F-94E3-77BBA2D95657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$A22BE483-8DC3-4AAA-B9D5-C00F63739E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1bdbc7bd30eecdd8509ee080c7638776182573","datavalue":{"value":{"entity-type":"item","numeric-id":1355131,"id":"Q1355131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$4634DEF9-37D2-4F33-B0D7-2243535CE27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090d29ed1a3f239683df30cdd0098c384468eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$12FD32B6-0B84-4939-8AB0-DA28B2240F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816a3e234b9f32a3852ce2991c42ae0cdafcd3cd","datavalue":{"value":{"entity-type":"item","numeric-id":2853720,"id":"Q2853720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$7DB21C2B-DE59-443B-AC6C-77D1CCC3E700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb68fe32bb5fe8ec05e704faf061202d9fd82400","datavalue":{"value":{"entity-type":"item","numeric-id":1368911,"id":"Q1368911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$8C3625D6-E946-4BFA-9580-3B72903DA111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948a492c3ce30688c9bfcd563e1992da688c1e80","datavalue":{"value":{"entity-type":"item","numeric-id":4011716,"id":"Q4011716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$39446E29-AE26-4D5C-845F-A4EC6A7BA5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c945b7f65b030a3588f96d53824a119d32ec62","datavalue":{"value":{"entity-type":"item","numeric-id":3081239,"id":"Q3081239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$DE43ABF3-E114-4B1B-BBA0-028956DE3070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cab77cfdf602d1aab7b2856b4482a0f4f22e59","datavalue":{"value":{"entity-type":"item","numeric-id":3247123,"id":"Q3247123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$35ADDE75-E177-41FE-8814-D2963C4A0A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$384AF12A-C00D-4A6F-9D0E-19184096388F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$AE989558-8FF8-4E09-B9C7-A2DF1B90EDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bc8ff67522488c7a56b5e2f8a9c1cbe59883a3","datavalue":{"value":{"entity-type":"item","numeric-id":5607956,"id":"Q5607956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$F3959274-B06C-44CD-AD29-1D45954AE218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$41D099F1-FF75-4505-8869-E979B9B85C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71b51a6c2205125a5862f224aa3eb3f24235d1c","datavalue":{"value":{"entity-type":"item","numeric-id":5095624,"id":"Q5095624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$227A3D29-C84C-47E7-9622-A71047A868DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d736accb8725a1ac7f53e65ae6aa84c0ffc4d7e","datavalue":{"value":{"entity-type":"item","numeric-id":4607851,"id":"Q4607851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$5725C035-E062-4851-9B06-41743498D5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214e8d179ebddcce043c841aa6f69b11dd07b3e9","datavalue":{"value":{"entity-type":"item","numeric-id":4011724,"id":"Q4011724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$3EF69F56-3767-42E6-9341-3C997E55F419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb80ac428a21d1fb92b1634b44199337fe9124d9","datavalue":{"value":{"entity-type":"item","numeric-id":4511601,"id":"Q4511601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$4D5E0A11-A56C-4743-B3A1-BE606A8166E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dd4b3eec6d43fe9f1529f2cf0bc4580f69f20b","datavalue":{"value":{"entity-type":"item","numeric-id":3778753,"id":"Q3778753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$5AF748E9-8CF3-4A76-9CE4-D70AA494B86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e74a687711aa5be425bf85c7212fda84bd1475","datavalue":{"value":{"entity-type":"item","numeric-id":4873975,"id":"Q4873975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$E7C6B122-1826-462B-8F68-53D02FDFE66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d146b4f6f33d70643dbf9ef81a85a7c64cd11f","datavalue":{"value":{"entity-type":"item","numeric-id":4011729,"id":"Q4011729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$E80C6097-E503-43C7-A35A-F8E88E4A4E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62463c14f43039c528f3fd9381c68897c93e0974","datavalue":{"value":{"entity-type":"item","numeric-id":1827411,"id":"Q1827411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$5E90F77F-EBF1-4617-A2F5-1291CB87742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f39551f166e23381f8ffd90d5ebbaba16a4b827","datavalue":{"value":{"entity-type":"item","numeric-id":2853718,"id":"Q2853718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791054$1B5BAA85-88CE-4C2A-BB22-A0BABDD07BD7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a0dd74a4bd691c10e23c114a5151541de7fbebe3","datavalue":{"value":"Q129508718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791054$50F2F818-9BE8-4CD0-AC6E-CBC482FEB217","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25566e5da00a5696d3fc38cc23147c7a42afaf5c","datavalue":{"value":"10.1016/J.APAL.2018.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791054$0CEE1BBE-6F34-43EF-ACA8-DE9C335DFD0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b99bcff2d214f3ac7fe818ed3a0c35e14aa19586","datavalue":{"value":{"entity-type":"item","numeric-id":4873976,"id":"Q4873976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad30e7392a6545f12db737987dcd26009a6c33f","datavalue":{"value":{"amount":"+0.7495734691619873","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":"Q1791054$2715ABDA-C989-4647-AE21-88A59E828D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91a233866ea99ea02ae87e1c853dc05d76836c0","datavalue":{"value":{"entity-type":"item","numeric-id":1355131,"id":"Q1355131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43b4ecba10ebab2812adce2588aeb93287e20a3","datavalue":{"value":{"amount":"+0.7371501326560974","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":"Q1791054$F2608C96-697F-49CB-81A4-5DEC3E85E8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9d6a18b70a526444b69019849cb4af9b78da30","datavalue":{"value":{"entity-type":"item","numeric-id":271687,"id":"Q271687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d871dc18826ef8736fb1b0d4ef3e7156803b5ac7","datavalue":{"value":{"amount":"+0.7288882732391357","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":"Q1791054$449BDE76-2767-4153-BE49-306B6900B8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad3cf1ece2441fe053876aac55cfaae6b06b51f","datavalue":{"value":{"entity-type":"item","numeric-id":2853707,"id":"Q2853707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95379ffe4944fb7839b19364fd49f574250217f","datavalue":{"value":{"amount":"+0.7268345952033997","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":"Q1791054$6EEA1403-73E3-44DA-908B-AE5C2163FCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1a4e951355017afa4cc1c28a3cc6409a6c6c77","datavalue":{"value":{"entity-type":"item","numeric-id":1368911,"id":"Q1368911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d72989fa33dd4218ce27b66f5d70bff4c12d840","datavalue":{"value":{"amount":"+0.7221335768699646","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":"Q1791054$382D9CF6-D659-4EAA-AB40-E0130BA2C7C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First order logic without equality on relativized semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First_order_logic_without_equality_on_relativized_semantics"}}}}}