{"entities":{"Q4727402":{"pageid":6756979,"ns":120,"title":"Item:Q4727402","lastrevid":49058056,"modified":"2026-01-06T13:08:20Z","type":"item","id":"Q4727402","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001450"}},"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":"Q4727402$F1B78E13-822C-4275-AD29-300AA51CDBE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cc1649a3aa2c2f6959becdffe1785245c87ae9f","datavalue":{"value":"0617.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727402$58CBF052-C3AC-423B-83DC-ACE89FE5F12A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727402$F99CA946-097B-4D60-AF66-300279DD86A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4727402$14566233-18FC-4273-B772-41736A256441","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727402$B0F0CD95-C484-46D3-8DE2-CFC8760661A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727402$F4B2DFE9-D72F-4D50-94D9-7A03159DB451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727402$1973E1A8-3059-4372-ACE6-3337236735BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727402$218DB7CD-FD6F-434E-803C-E2FFC53747E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"743a4887ddf125f7faf0980c3d81f6f7fb3f0d5d","datavalue":{"value":"4001450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727402$F06D3246-BFC4-4AFF-AFE5-04CCFB04D8DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b51f5daad972e3ae93b964cdcf23fb05d9be8605","datavalue":{"value":"program scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727402$FDDD3DFF-13A0-412E-9C6E-3624BBF95D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727402$2073A407-B4EB-441F-B758-778E663A2A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f6bce346b13069e2d2d7e7227e186fa6094b35","datavalue":{"value":"Herbrand interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727402$EFBE781C-6C08-4B0C-8A28-42DEE6C742FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d4f1c4d48bc263e610e7ee626535f38f46a589","datavalue":{"value":"relational class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727402$8C894F73-6841-40D9-8317-579C4D31BB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727402$E2C2399E-FC13-491F-9FF8-760FCA0CBAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727402$D6EAE8A2-1DD8-4116-AF2C-AC7E2AA53AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727402$7775BB0D-8802-4E52-A94F-D4370A93472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727402$1121E715-358C-4C8D-AAFD-FBB2888D9C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6371997ff7234052a228872f0658d7d3b64a9dee","datavalue":{"value":"equational and first-order definable classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727402$DC3A4FE3-0B14-4C04-847E-5A29CD05A19C","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":"Q4727402$3FAED84C-7C26-4AA1-89B0-A1EA5CA9BA46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f676d9335ccba8c724966361f960736276b4c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1346625,"id":"Q1346625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369fcec9f77fd358a226c93d83300b72781f061e","datavalue":{"value":{"amount":"+0.7574765682220459","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":"Q4727402$F06D237A-CF71-4032-83ED-25FF90815785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac30f39c009e97890c5390b8a384fa445d56a765","datavalue":{"value":{"entity-type":"item","numeric-id":3777431,"id":"Q3777431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167042245ede00494af13fbe12f88cad1672428c","datavalue":{"value":{"amount":"+0.7507732510566711","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":"Q4727402$F5010AC0-C226-4238-9008-BC8D3FE7405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc4a862aa39f0436a72763fb18f434bbba0bd60","datavalue":{"value":{"entity-type":"item","numeric-id":3763565,"id":"Q3763565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a98d7c430143cfb7e6adb2589c2ddbe3926fdb","datavalue":{"value":{"amount":"+0.7494637966156006","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":"Q4727402$BD2BEA5D-086C-425B-A0E2-EC0F14F492FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0480547411b8beb959f8cb0f61301aaeac56ba6","datavalue":{"value":{"entity-type":"item","numeric-id":802882,"id":"Q802882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed937f7a860b9a3cbb64a1305885fcc7df841c6","datavalue":{"value":{"amount":"+0.7411006093025208","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":"Q4727402$3A9AF121-75D7-4FC5-A870-D6E7F980070F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add321626ef64219ba4123521de1b0297bfd42ed","datavalue":{"value":{"entity-type":"item","numeric-id":3816063,"id":"Q3816063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bed17eac2d68e3d2728d53a1a8215967b96d1a1","datavalue":{"value":{"amount":"+0.7371525764465332","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":"Q4727402$A3B6F7A0-1F02-4B7D-B7A8-1A713880613C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4727402","badges":[]}}}}}