{"entities":{"Q3687683":{"pageid":5717589,"ns":120,"title":"Item:Q3687683","lastrevid":50220347,"modified":"2026-01-13T13:42:37Z","type":"item","id":"Q3687683","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3911679"}},"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":"Q3687683$A5D73933-5984-4CAE-9009-50F67C60FAF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bef56bcd7b77cae09cc8d04aa90fc0cbd3fde044","datavalue":{"value":"0571.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687683$127B7208-5035-40B5-A2E9-D7FEAE97DA16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3687683$146C8500-AABF-4BE7-81C2-81AA8665336B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3687683$82F302CF-B70A-4DBD-AB95-D8E4A7D54626","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":"Q3687683$EDDEBB05-EADE-492D-AE16-7589B497F19F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687683$04B36E74-7D99-4ABD-856D-906599E64FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687683$5439B6D0-0F83-4CB9-A309-B0B334C78313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687683$D42B65EA-DB01-4F00-BA0E-1161E255C8A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caee1e31e2bdd43c39069814c594977c48da3130","datavalue":{"value":"3911679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687683$4AF54771-3AE6-47E1-8912-8E83AC8F0995","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$0090DA60-7E8A-405B-BE09-25EAEDC6F01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21efc3b38ad34c0130375983f81a325f839d196e","datavalue":{"value":"programming methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$C272A186-C6AE-4D9A-A66D-D4FD53CC80BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$3C9AE980-CE23-4142-A227-8D70C51C2C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$5AAD5944-4A97-421D-8E93-C64F03C8B24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b94e7f40a9369c743c08a4be89a2de36c7e6ff5","datavalue":{"value":"semantics of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$89535F14-9DA2-4288-8142-F3A9C9187C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c715c998c2c4beeb41208853a051b29ca14e86","datavalue":{"value":"initiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$33DA72B7-8575-4B6D-96F3-3FAAB00DA321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$7F29A24A-1520-44ED-8484-8D79FF0D80E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$BF61132D-E310-4CE2-AAC0-C4AAEDFBE956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51348b646df07aeb2f0ce1ab0dd143643e270a8b","datavalue":{"value":"many-sorted general algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$D7C9DD25-527B-4A22-9BA9-F8994E818233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99cfd725dfed0e7195a5e3525e81626440ac323","datavalue":{"value":"abstract software modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$1F614196-094F-45C3-8662-3B31AAD266D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cde7430d05a0cc1f761470767ba2ddc16a8551c","datavalue":{"value":"finality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$E5098904-65F5-4F62-8ACB-6DBF261C3B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$252D9D9C-BB10-4D9B-AC37-D9DCE0FB0473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"682758c6950f40d2a8ce6717da7bc620bb4d515e","datavalue":{"value":"G\u00f6del numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$E596AC80-D26F-4182-B866-8ECCDB96A310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$0B89BD30-8365-4780-B399-C938DBC8C695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccbe83c8e0bdf56e0af52ea58571ffad8c43826c","datavalue":{"value":"computable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687683$BE4C22C6-6213-4FE6-A896-B04446400C84","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":"Q3687683$6F540B5A-54E7-44A6-B415-3CCD6907283F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e79f0633efd6c3f31ecf83ded6e8b3e645cc8bac","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f541e7f6b6405eb4cd3e74ec7b51fdad071a24","datavalue":{"value":{"amount":"+0.7662588953971863","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":"Q3687683$7404A193-A7D8-42F0-A79D-CA546C5D9267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75375023a30502796a165a15ac92d3577c9fe3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3337524,"id":"Q3337524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924e486ddec36023d6bb6f9e1d561710528fc1dd","datavalue":{"value":{"amount":"+0.7630307078361511","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":"Q3687683$CDC2F515-4329-49D8-838E-9E36CF527134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16461d437e263daf995ab78d470c490220a8fdbe","datavalue":{"value":{"entity-type":"item","numeric-id":3980817,"id":"Q3980817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52fc639302fb68fb851d539e144d3640d08528a","datavalue":{"value":{"amount":"+0.7531525492668152","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":"Q3687683$D04F869D-E05B-4C5E-8D5E-C289821C2F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8a19643dc2d1f679e4615a55f9d1b8eb146853","datavalue":{"value":{"entity-type":"item","numeric-id":4369896,"id":"Q4369896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e5f041af2491aef2b0cc8410a5722005aaa759","datavalue":{"value":{"amount":"+0.7517590522766113","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":"Q3687683$DAD6E7DB-29F3-49FC-A8AB-90C51CC18F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66c96390f3ad33b0c498fb48a2410c9fe4f686","datavalue":{"value":{"entity-type":"item","numeric-id":3780425,"id":"Q3780425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e31cf42d2b66fd196de18aef82d320ed20d3ce","datavalue":{"value":{"amount":"+0.7508575916290283","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":"Q3687683$B5A3DF50-9E23-4016-AA98-0BA84586ED5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3687683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3687683"}}}}}