{"entities":{"Q4736396":{"pageid":6765976,"ns":120,"title":"Item:Q4736396","lastrevid":48312418,"modified":"2026-01-04T08:17:43Z","type":"item","id":"Q4736396","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085172"}},"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":"Q4736396$76F9B4BF-8B91-4A6D-909E-3B60FADBAD45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cef75e63c4b177a84455e16f729a7f6c0faf243","datavalue":{"value":"1054.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736396$046E0399-2EBC-414B-851D-6E37287D5846","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93a103f1bdb987bd95d7ecf8845e7f8149737aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4736395,"id":"Q4736395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736396$3669C47F-096A-4994-831D-9659D89BB154","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d96456414d6af50ce04ff076f3343376c47fba2e","datavalue":{"value":{"time":"+2004-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4736396$52043289-36D9-4906-B8D5-5C3355617FDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa09d540617cbf478aefe833f7f235e3857d7f71","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2277/22770145.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736396$88877DCA-AF5E-42F5-A9E2-5D76AD2630D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736396$E3278F8B-41EA-422B-AF39-7A5134AB6538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736396$DCF81449-27AD-4364-9D73-A84B34528690","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7034e61fb58434bd0c7418f1a80c8060edae97b1","datavalue":{"value":"2085172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736396$9BE642B1-5A62-4161-8D8E-0BD54D6C45FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736396$D530EB69-9B48-4BAB-B722-E9DA1192C98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736396$8694B0D8-F0CB-4B29-B897-489B11E1191B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736396$51508EDC-0F85-489F-B1B7-F0AC83141880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e54a8ab0a76ab35b542dac26adff9020f51171","datavalue":{"value":"abstract model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736396$52DA9643-39DE-46E8-BF1F-69DFCB7CFD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736396$689E374A-AE9A-48A9-9617-6882AB2B30E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736396$1E3B2F6D-4D1D-4113-8A77-C8EC3CE768B8","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":"Q4736396$D96B22DE-F123-46AC-8B54-FF71BD6B6DE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e14c560586fe70a7c59fc209aee9236e3c283a5","datavalue":{"value":{"entity-type":"item","numeric-id":1799282,"id":"Q1799282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28991003b60f7aa8d8438154aedd467bb52f7520","datavalue":{"value":{"amount":"+0.8226849436759949","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":"Q4736396$6C5446B5-5FF7-4483-B8BE-7FD7AA77FC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb84dd24c4977918a46d25d1ff70f6741c10d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3766888,"id":"Q3766888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedf19064d8983a85fa848032ab283c599df1ed2","datavalue":{"value":{"amount":"+0.7696943283081055","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":"Q4736396$2B462C7B-868F-4625-98E6-4E8C8E700B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379619104e2575627ef4d10150d8c4bbb454e302","datavalue":{"value":{"entity-type":"item","numeric-id":4600393,"id":"Q4600393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ab757b996856381451756d05e844608004b813","datavalue":{"value":{"amount":"+0.7373222708702087","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":"Q4736396$E60930AD-38A4-4BC2-B057-F8595AF3C2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a29a49d93a61b94a14112bb543f1456404a897","datavalue":{"value":{"entity-type":"item","numeric-id":3764141,"id":"Q3764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c668b4975d90cbc6e728d666eebe98e2e09628bf","datavalue":{"value":{"amount":"+0.7222902178764343","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":"Q4736396$EA1C8707-0767-46A0-8ADB-BB8E01AD0F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d8051ea290f1808aa3c6c4c511ea5dd89c1056","datavalue":{"value":{"entity-type":"item","numeric-id":2102949,"id":"Q2102949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164851312afebee57f69f7d88e273df7d4454c73","datavalue":{"value":{"amount":"+0.7124960422515869","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":"Q4736396$C074C6EB-91AB-49EF-B76B-DAF11F166DEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4736396"}}}}}