{"entities":{"Q4249364":{"pageid":6278965,"ns":120,"title":"Item:Q4249364","lastrevid":46803531,"modified":"2025-12-25T15:17:18Z","type":"item","id":"Q4249364","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302878"}},"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":"Q4249364$0F9E2E9D-D52E-4CE3-BABE-C131E88435A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60fb2918d610247ec644a8159135dde7db12c245","datavalue":{"value":"0952.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249364$86A43FA7-7ACB-457F-B520-51901AA5DD5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ea05691e11843c13987b595e855d39808a5e3be","datavalue":{"value":{"time":"+2001-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249364$29F6A944-CA2D-4338-8680-CEEEECA74088","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249364$A66CA488-AFCF-4487-9EDB-3E614D8F7680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249364$B149E38E-F112-4B17-BC35-D6070D241614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249364$73B3B915-86EB-4AAD-9435-631BCD2C36A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249364$E3179CEF-A403-4C7A-8115-40FBAD953A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249364$6AFE0D12-A7C6-4D4E-8EBD-969723125B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249364$C180DD49-810E-477C-A542-3B2213349940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd76c366b1c9909fd74bc81bf0b90e1edb70c8a4","datavalue":{"value":"1302878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249364$C4E7F29D-8D60-406F-AAEF-CF70B0F93D6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93077cc6db36e07d535db7c75a2f03eb0743cd04","datavalue":{"value":"algorithmic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$6754761C-7548-498C-BEEC-31FC7EBA4649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b2c2059af58e22e0d5de707b1eb4f3ceb83c5a1","datavalue":{"value":"constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$35110DA3-62E0-401A-84F3-487F5E93D3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$5F965FD0-E578-4CFC-8F50-5C9E06DF23AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$28B4C2D0-B4C1-4337-8DEA-D12E29D0FC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0503e87b0acff26f635285d13119340cdc06484e","datavalue":{"value":"Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$F9703CD9-E79E-4D56-AD04-3D04FC48CF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$AB9F2BB6-DA8A-4890-B9DD-C25CE4F43B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf3abebcf0f28787003926cd5e31f1130bfdee3","datavalue":{"value":"rigid model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$EE5AFC89-5543-4601-ACB5-0B378277E55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36aced74e6743e45bf819376d4f9308ba81f53fc","datavalue":{"value":"atomic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$D31AC542-B328-486B-9BB3-8A1AED2A1A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15af81ecb43d9f65e18aabb35906b8775c5181d","datavalue":{"value":"stable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$2F8BFAF6-7064-413D-A4B8-3916EAF32698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$201C68FD-F326-4E07-B16E-6DBD8D1014CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b6eb874acb0e41bd1090969e579e9c6b829b16","datavalue":{"value":"finitely axiomatizable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249364$60B64C1F-D2AE-43A4-BC3E-21E13B0F60B5","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":"Q4249364$DF5E6EF0-EDC9-48B8-80AE-2493022DEF5A","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":"Q4249364$BA5858F6-CF10-49DE-88E6-58DE97AC0289","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da60a7106276de253fbd5e55e622a34523fea598","datavalue":{"value":{"entity-type":"item","numeric-id":4700614,"id":"Q4700614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc5e8cd673502c9e7a10461da85a2a95d4a00f0","datavalue":{"value":{"amount":"+0.7884356379508972","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":"Q4249364$05AA42E2-4707-436C-A27E-81143AEE73C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2795744f80d739af37a1ae10261bf64beea5468","datavalue":{"value":{"entity-type":"item","numeric-id":4513975,"id":"Q4513975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b8e2edb88459dac302fb3a64bb75bd6cc4bbd1","datavalue":{"value":{"amount":"+0.7678391933441162","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":"Q4249364$4C1915CB-28FA-4396-A2F3-1FB88007A708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c68a051a97067cb8a9a0785a81426dab81c239b","datavalue":{"value":{"entity-type":"item","numeric-id":4249357,"id":"Q4249357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e257d9857748ba21f416265d489386787fc186a2","datavalue":{"value":{"amount":"+0.7521169185638428","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":"Q4249364$7BC33A3B-6275-42FB-824E-DDE6DBBEE6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f48407e66370d69ccc210b8854c0341c8d0a0b","datavalue":{"value":{"entity-type":"item","numeric-id":4249359,"id":"Q4249359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfca076b99960631976d308b8cbdcf8b51387dfc","datavalue":{"value":{"amount":"+0.7468212842941284","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":"Q4249364$730737E3-F362-404D-8224-D4A01093282E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249364"}}}}}