{"entities":{"Q5294025":{"pageid":7323599,"ns":120,"title":"Item:Q5294025","lastrevid":50127620,"modified":"2026-01-13T05:48:28Z","type":"item","id":"Q5294025","labels":{"en":{"language":"en","value":"Connecting many-sorted theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5170339"}},"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":"Q5294025$DC45EE43-B667-4BCD-A3D5-59141059BACD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d218cef3eb90f9214ef044b5ee7961861934c1d","datavalue":{"value":{"text":"Connecting many-sorted theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5294025$4560BB70-57FE-456D-8D2B-C1E834134D85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecad942d5d32dcd5e9b760ceac4999f5857a2fc7","datavalue":{"value":"1136.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$D7FF7001-A74D-44B8-8C8A-2F6E00039063","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5294025$9B9C817F-0959-4322-8D5F-4E6CEBAF23CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5294025$DC25C573-1EF5-4997-B6F6-2DF2B4BAF1FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5294025$A035D74C-BD4A-42D7-B2DA-6A5B74A6BC7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c298539c7206106fe5ad6975449a13e07c58590e","datavalue":{"value":{"time":"+2007-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5294025$C545C220-1F96-430C-9C1F-6D87951130F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$88462DA2-B6EB-4868-9281-5A206AB09AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$39924BDD-C9B7-448B-B5A3-481F7D56CD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$1CE7D212-946C-44DC-9A2E-A81C468AFC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$32E53309-69A0-4A1D-B5D7-F63C4809C152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$EDF25F20-1F27-42A8-B160-3A556FF2C4C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c91b039e3ffcb688f4485d635f14386a71e5024e","datavalue":{"value":"5170339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$25B3C82E-9B02-459B-8AC3-098119B9E71B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff372b56a614d041ed8aa544a0340bada5bf9bd1","datavalue":{"value":"many-sorted theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5294025$A7C80D1D-6164-44CD-96BE-3BBB9D8993A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5294025$6C8E5F81-DACF-4EE5-8ED0-6CE75D7CC38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5294025$9548F0FC-3881-426E-B385-362B59027C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5294025$FE85FB1A-7A9B-45DF-A571-D48E9E03EE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee86091f8fdb7f36e3fccf2bb2e376673edc2c7b","datavalue":{"value":"word problems of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5294025$1C99ECCB-B5A4-42D4-9976-B0D65EDA1CF4","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":"Q5294025$149F2766-26D4-46FA-B35E-4E601158691E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb6ba9f4225c144116afefdd8cfc11cd830f5301","datavalue":{"value":"https://doi.org/10.2178/jsl/1185803623","type":"string"},"datatype":"url"},"type":"statement","id":"Q5294025$2F166EEF-ABDF-4A47-A76A-E828832B3D30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c546ed7517bb524deb4c115b3f0e1e0f1bf5bd4","datavalue":{"value":"W2056646797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$1964E5F2-47DA-4B7E-A5D9-3A231D8E252F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dc2ec4cf67ca0b9f7a59b442e17cf630b9d856c9","datavalue":{"value":"Q57383701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$8CD0C078-78F7-49CC-9385-B13AC7CCEE93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5294025$5423E277-4FF9-4DA8-A1BE-4AF9AF5E659E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f7fef3d0a0ca94d063b62c0aa97968b4c9d28d","datavalue":{"value":{"entity-type":"item","numeric-id":2432763,"id":"Q2432763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5294025$5329E2ED-ACCF-4787-A2B5-51237A823979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5294025$04ADFDF5-0719-4220-ACFE-F78FA20322FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952e7550f10cda2147530b49070663b1693fe81d","datavalue":{"value":{"entity-type":"item","numeric-id":4673980,"id":"Q4673980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5294025$80A4CB79-DB6A-41FE-9C82-0E9888EF3388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2cd5328c3bd6e088eacc0dd779fc90d8050e85a","datavalue":{"value":"10.2178/JSL/1185803623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5294025$980D7A82-F622-41E2-9905-1DBE62FAFEEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd3bb0e813cb92ee596030dcba069020cbfbe79","datavalue":{"value":{"entity-type":"item","numeric-id":5394620,"id":"Q5394620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5decdfc45b0042b12642595f571931e927afa1b6","datavalue":{"value":{"amount":"+0.7991267442703247","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":"Q5294025$565148B0-1852-4538-A334-853EDBE956FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1470a97030887b8d84f75ee646436a0f66f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88c8b6904ed94a6f9bad28ff2b85ebeda656c7a","datavalue":{"value":{"amount":"+0.767918050289154","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":"Q5294025$6B81591C-0FAA-413F-9798-76B8E1E24522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83799d172caac9de556d975c6e02093382a2446","datavalue":{"value":{"entity-type":"item","numeric-id":3677735,"id":"Q3677735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5becf402af1c500010fa109216cd50a9d57c859e","datavalue":{"value":{"amount":"+0.7657699584960938","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":"Q5294025$9D6568F8-3513-448D-86A1-1AB8BA75E615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bee125ea54a8e54d6d488c54ec9675e6f5fb42","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4ac9eb65c2cd987470c39882f9415637b82959","datavalue":{"value":{"amount":"+0.7548180222511292","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":"Q5294025$65302A2F-E051-4A0A-984F-5976D115234E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19863275a3feb4947d0e63f4872e7c0a6161c436","datavalue":{"value":{"entity-type":"item","numeric-id":5394160,"id":"Q5394160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c569024d6c6b16993641b478224fbad255084592","datavalue":{"value":{"amount":"+0.7481613755226135","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":"Q5294025$DF723F9C-D00B-4D52-86B1-4D326087F0B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5294025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5294025"}}}}}