{"entities":{"Q4035693":{"pageid":6065413,"ns":120,"title":"Item:Q4035693","lastrevid":55239778,"modified":"2026-02-05T05:12:20Z","type":"item","id":"Q4035693","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176527"}},"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":"Q4035693$7C11D7AE-7B2B-41EF-B46B-A41F059940E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1de8f6e5e81f4fc9d6d1a469d5535601a7504dc","datavalue":{"value":"0773.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035693$FC97ACA0-EED3-4E02-B0C9-15057E873343","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035693$A2016B88-81FE-444A-BD61-44F796E53A40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035693$A971D662-9D4D-4719-BB45-CA19CCF6293E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035693$282CA64E-118C-4F1F-8241-975E9A7BA53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035693$5335183E-9882-4CFC-A94E-9520D6A1F413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d463c115eb839f48842be3b131aea19a0a0042d","datavalue":{"value":"176527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035693$31710101-3904-46F1-81AD-EE78E5A2EDFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44ec9a7072d9810852b167a9ea765bd7c2b0f1f8","datavalue":{"value":"fragment of second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035693$7CE5FA8A-DC5C-4F29-AA05-C5C14E07FB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937a85bb3242c7adf7918e3a2e3eed52af719860","datavalue":{"value":"second order Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035693$87541F98-5C9C-4EE4-9FDD-37FC4B8A268E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef4848ccb0144e94bed9c2a39e256e8b47da787","datavalue":{"value":"existential fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035693$511B5EDD-196C-4F5D-A027-0A0AECE00A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ae44ab37309929240db6fc402a089edeb073e","datavalue":{"value":"successor relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035693$AE4AB14D-8E7B-4C49-A0AD-2ABBFD14A9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035693$83FAE039-83AA-4D86-911D-522D4B72007F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d412fecc926d1248d6c8f0536b9e2f25a6f97388","datavalue":{"value":"polynomial time computable queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035693$61974E16-F71C-4764-A30D-3EB1F656441F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40953c2325db86cbab905851b0cf565a13fce3d0","datavalue":{"value":"fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035693$2B103427-01DC-478B-B34F-5E463C47702C","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":"Q4035693$102C0F9E-5821-4D69-AD70-9B831E4E314B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272fc7fb52d78b66eda99739ce924f6ed912bdf","datavalue":{"value":{"entity-type":"item","numeric-id":4915214,"id":"Q4915214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1821dc1780472454197022a51e4edec24521d1b9","datavalue":{"value":{"amount":"+0.9705508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$5B99CE62-E908-4BC2-BC76-7E770E960F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f628b48803ccaf43238230d07a1fbbccec6cf4","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6e5871369ea862c9182b0c2fe54c6116b58b80","datavalue":{"value":{"amount":"+0.91594726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$C69E933A-A70F-4E90-915A-A6B4AB54F7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699b9476b611b46d6077118d62fab2b61d26a7ea","datavalue":{"value":{"amount":"+0.9049252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$4B75D028-26E6-473C-B6A0-7B3051B227FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95758b0e3d31b5713e6179a38082f71ef20b106b","datavalue":{"value":{"entity-type":"item","numeric-id":5079746,"id":"Q5079746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52e53c3d6b83e91a73379e929758c8109adb70e","datavalue":{"value":{"amount":"+0.90432143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$170C2BD2-5209-451E-8937-5F22BF1DB545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719b3e43a422eb0da04125791729778cfe78414","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab1b9d6955401fe7c8eb758f4a8db8f948e5411","datavalue":{"value":{"amount":"+0.89913124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$B0460C77-24E2-458B-A98A-E969A7B538AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675cf61082922d5d5d600d8d64fc3c9b7af64a7e","datavalue":{"value":{"entity-type":"item","numeric-id":4783300,"id":"Q4783300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31592564e27897eeb80d19c013a55f7639abec3","datavalue":{"value":{"amount":"+0.8988105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$357DA3BA-2873-486F-A576-E9FB3A141908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c1f39f9fe83fd129f59401ff6d7c33e22da867","datavalue":{"value":{"entity-type":"item","numeric-id":3569000,"id":"Q3569000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f7a1c38d7042a56ac8a9431cb705aa0eea4613","datavalue":{"value":{"amount":"+0.8981459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$E3B2724F-37B3-4A68-80E5-A77ED84478EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f76bc4aa33ffea432db2129e0a97e65336a802","datavalue":{"value":{"amount":"+0.8950733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$ED199E72-BE9C-4C34-8F3A-A28BDC12EE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b90c686ff31d0854c9e0762931690c8a57ded3","datavalue":{"value":{"entity-type":"item","numeric-id":1956373,"id":"Q1956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acf6a3dcd57d22260359b7c0133a8f9b8fb01a0","datavalue":{"value":{"amount":"+0.8928119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$45E44F61-429F-497C-8241-FD3A0794E4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad28eb7c4c69d36a7246716c7539d498dcb5a05b","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464b5f0f204dacf382be37eb7f9b5990a24735a2","datavalue":{"value":{"amount":"+0.89052254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4035693$1EA4464B-8C35-4ABC-AEB1-D35FE8318833","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035693"}}}}}