{"entities":{"Q3380263":{"pageid":3390967,"ns":120,"title":"Item:Q3380263","lastrevid":80779814,"modified":"2026-05-06T16:58:55Z","type":"item","id":"Q3380263","labels":{"en":{"language":"en","value":"A technical prototype of the finite signature reduction procedure for the algebraic mode of definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7401958"}},"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":"Q3380263$52A56EAC-66FA-4D89-971B-878FB4386F5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"654dc6ca49e3ff9ab2ecb20b97eb39f5abc08507","datavalue":{"value":"1488.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380263$9C5C8C0F-C0DD-48D3-A0E7-ADC09A9260D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389dc4b72755fc3de7f7a9780587dd8ee31dbd69","datavalue":{"value":{"time":"+2021-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3380263$6729E14A-8E70-4215-B926-C96F0253D9EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380263$6335C601-4F42-4E0E-A6D8-4FB8022AD363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380263$42B0DCE1-5653-49D1-AE31-BB1BC5A6751B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380263$5847B975-671C-4AAA-BF03-F99E02872CF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"660f6303a944ca878d6075ade95f6c764696bfed","datavalue":{"value":"7401958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380263$89CF2FA2-438D-43F7-AC52-6540451765D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380263$301BFB1C-88D9-46FD-9858-268BFAE26476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff5be743663cf6c0e011f8cb70ac18c6fb2b16da","datavalue":{"value":"incomplete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380263$AE0C8326-EF80-46FD-BF09-ADC40A8AA564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac09feae1f3aa5be560461f452314fc665a9eb","datavalue":{"value":"Tarski-Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380263$FFFD9E4E-41EF-4AFC-AA74-6587D3BA78C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72fac4e5d5eb69c00625d5062b7d1fd5d3b35d60","datavalue":{"value":"Cartesian extension of a theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380263$E30F1694-5D34-464F-BC67-7B09FE39F12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092374219e91a191058e3f69f8aad922b1c1c984","datavalue":{"value":"signature reduction procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380263$6183B3A8-2AE8-4998-9C5C-D6AFC40E8AE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20ecee9536e4120b13720769ac9d5f6e509bebc2","datavalue":{"value":{"entity-type":"item","numeric-id":779151,"id":"Q779151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3380263$E775A45D-2481-45C2-9D34-24EB94AB4F5A","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":"Q3380263$2FF1AFE2-BC31-414B-8845-A53FA1206595","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca975fd8e270e12ee2edbccb2d5d08570e6f2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2145868,"id":"Q2145868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b7ab4c27cd61308bd20f5279b5f2478ea69ac4","datavalue":{"value":{"amount":"+0.7433469891548157","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":"Q3380263$E2FE15A7-1B1D-4D1C-B68A-1C4FE1602B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288c037fbab269c08a4d0966615517268dd10f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3379809,"id":"Q3379809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469e89e1139578eaa5767ef48234ebae7692a0a7","datavalue":{"value":{"amount":"+0.7406564354896545","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":"Q3380263$185BAD0B-AD0C-4C3A-A239-AE84B74A1CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c6630996e5ee47cb6778191ddaf7885060df8e","datavalue":{"value":{"entity-type":"item","numeric-id":3379859,"id":"Q3379859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed1d43f82c0348d84f92236ad875562547333b5","datavalue":{"value":{"amount":"+0.7400166392326355","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":"Q3380263$DD11B1FF-9178-4E3D-B533-BA3494106F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f540f6cbf481424cd89d2544b2fd9065b1c3baf2","datavalue":{"value":{"entity-type":"item","numeric-id":3989924,"id":"Q3989924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957bd5b3356cfcdbfce3b6221cb6b67c5f1b3f36","datavalue":{"value":{"amount":"+0.7098543047904968","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":"Q3380263$DF7C6E00-2D0E-4033-94FB-CA3CE893E827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0f37e5dc9a63c3d35da66bba1f62f727d6e626","datavalue":{"value":{"entity-type":"item","numeric-id":3809799,"id":"Q3809799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e7f0d00fb94932521ae20c23713e37de295d97","datavalue":{"value":{"amount":"+0.6966167688369751","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":"Q3380263$90CA8627-51BF-43AD-A159-51D348FD4A27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A technical prototype of the finite signature reduction procedure for the algebraic mode of definability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_technical_prototype_of_the_finite_signature_reduction_procedure_for_the_algebraic_mode_of_definability"}}}}}