{"entities":{"Q4861412":{"pageid":6890992,"ns":120,"title":"Item:Q4861412","lastrevid":47384677,"modified":"2026-01-01T14:19:43Z","type":"item","id":"Q4861412","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 835721"}},"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":"Q4861412$8BDDC734-B428-4732-9B27-2AF056C98A23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a93309470ba1adb4aff6408443328e4dad0c6c4e","datavalue":{"value":"0833.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4861412$4CD539EB-7AFB-440D-9D26-4BE76EEA9249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"073ab20d8bb619f7d92e0c5f3cddffa9288a48d8","datavalue":{"value":{"time":"+1996-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4861412$E47EDF1B-7940-4CA6-B6A8-AF5244EB482E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4861412$771B836B-1449-4C78-B284-1FAE5FED4340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4861412$9BEA69B9-40C1-4D3A-8678-478DF1204966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4861412$C6413926-382E-4455-86AD-BB8BF8888FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4861412$12ACDCC5-D466-4AED-9962-40412994770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4861412$F458AA3B-007C-4A15-B7E0-CDC66DE5E4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4861412$69FC1C11-7ED7-4ED5-A52C-2452DFA52264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4861412$5A229E05-8EA3-4C95-B12F-EF4ABBFC1106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc116f8eda425a6cf72d3532de36b445605f5053","datavalue":{"value":"835721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4861412$5C8646BC-E75F-4A3B-A495-818C23D49BF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$557E4A2D-96B4-492A-B819-E565828017B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410f3aabd2df3a252bea101a55264f29bf3dd233","datavalue":{"value":"Kyoto (Japan)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$30A584AE-77E9-4060-9B78-2D84A677734D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c375465c0e95e14e74428516f5dea4f5b18df1be","datavalue":{"value":"Theoretical computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$E57336EA-6392-4E0B-805D-9D056B534B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$1EC10A60-8C8D-47A0-8D95-D7F9A42A1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$7D294F93-5DAE-4F5D-A0D2-BEF13BE546DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135d8aedfa48efbdf272187bb5e64a07ac5bbe92","datavalue":{"value":"nondeterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$4B158711-F79C-416E-BC9D-4629DB1AF4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e4e06d9e28eb2b5161a8b77486cae9897ae53d","datavalue":{"value":"decision trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$3537A49F-05BF-46F4-9881-558358DBE817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d88bc2b74e3b1de6499293d89dfd17939b3a890","datavalue":{"value":"logic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$5A366E31-CECD-4C5A-A955-A53F342E5C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f801c2988c6b807f866eb25f02c6ec58b0e0f930","datavalue":{"value":"lexical-functional grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$A673DDDB-AFC4-41D6-8A13-EE34564295E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"694eecdc2f71e4a898283c6db5c2b7894fc662da","datavalue":{"value":"neural network","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$EA412122-39B5-41BB-A5BE-6385CA91B209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4b5d63289db850b148e760ad6fea530c4e5631","datavalue":{"value":"cellular automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$3AED8D26-889B-42B4-A083-627580F2C2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$66520E43-8658-47CD-AB92-2967DE7FCEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0967c5f93d36d6aa18ee008d77ee288965d952b9","datavalue":{"value":"parallel algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$3F5EE8DE-384C-4187-B496-589B60D1C262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab41c83eefee26ab930748371a9520ee287d2d8f","datavalue":{"value":"nonlinear term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4861412$6A1AEB0D-4E63-4E8F-A316-D5294B5ADB6C","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":"Q4861412$B91C75B6-B0B8-470B-9F93-52A589AC57E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5141907caac849af784cda8cea12418661d3ca2","datavalue":{"value":{"entity-type":"item","numeric-id":4936334,"id":"Q4936334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f946ab3410daae971eab9685dbaa713300324b88","datavalue":{"value":{"amount":"+0.8485498428344727","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":"Q4861412$CD1FAD7B-DFD4-494A-ACC1-2B99CB8C03D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0dd7d3a501c0a3e29e99889f0a4ba7006993bfb","datavalue":{"value":{"entity-type":"item","numeric-id":4256297,"id":"Q4256297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fb60ed8194a1566f31bdc9139345ae9f4944af","datavalue":{"value":{"amount":"+0.8462470769882202","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":"Q4861412$C9A6B928-E839-4C01-9F4F-2D0B20C57816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987cf7cb21221322574e02fd61c818b81d28cd51","datavalue":{"value":{"entity-type":"item","numeric-id":4256276,"id":"Q4256276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4eae04786c56c163b5a1d5d1d3d1f5032110ee","datavalue":{"value":{"amount":"+0.8447916507720947","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":"Q4861412$094428BD-74F4-47ED-B785-8C94C6CC0455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9758507f11cb3b7b9d633dd2e9f267690be05581","datavalue":{"value":{"entity-type":"item","numeric-id":4936357,"id":"Q4936357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04bd7f45b4624c8183cbfc9c82f7e73dc75d5c9","datavalue":{"value":{"amount":"+0.8405535221099854","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":"Q4861412$B7821EEA-AC70-44A6-A6E4-19CBE15C5E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d8e4d350cc884a10adaa789143a6806565512d7","datavalue":{"value":{"entity-type":"item","numeric-id":4256277,"id":"Q4256277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f5772de039cdaf8e507be06454193e889aff44","datavalue":{"value":{"amount":"+0.8276094794273376","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":"Q4861412$347C258C-3CE8-4379-85FB-EA13AF0D7E72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4861412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4861412"}}}}}