{"entities":{"Q4846808":{"pageid":6876388,"ns":120,"title":"Item:Q4846808","lastrevid":47349997,"modified":"2026-01-01T11:39:04Z","type":"item","id":"Q4846808","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 793951"}},"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":"Q4846808$EFE2984C-E9E6-4FFC-AD8F-DC0CA3DC6EAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a8324d8e30220e012f1beaafb093af6efc67e00","datavalue":{"value":"0848.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846808$A0CF960F-1858-49F7-BC5A-8053AE4520E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bfee72b5c357387176ec7ba80b3f9bf40834ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4846807,"id":"Q4846807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4846808$8C0C8A9D-6B17-4947-9F81-15F891ADF07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d646bb5896f8fc079df2a9465096145fe43a07ae","datavalue":{"value":{"entity-type":"item","numeric-id":3683521,"id":"Q3683521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4846808$4C92BCFD-F823-495C-BB6D-9903EC819F4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d0748a4d25cfb37a1cacfbead02ac546f0ecda5","datavalue":{"value":{"time":"+1995-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4846808$6A9D1F14-7111-4214-A992-BC863419B722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846808$5E60EE59-949D-45FE-9978-1775E309EE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1397c7d07b55282862d4db12cbe94becf8137559","datavalue":{"value":"68Rxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846808$AB4B367B-14D5-4CCC-BE4B-0C3D282D5940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07719e31f9719901847a2016659fdd1dafa0275d","datavalue":{"value":"793951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846808$444A7115-2F5C-4C21-84A4-78656F99D444","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c50d179b9bf0c85b387c50fe43ed6bf5f07040c","datavalue":{"value":"language \\(Z\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$28D057B9-2D1B-47E1-BBA8-C314F41F9F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40cd831f0edfd206625b06ee83ccd05bacbcf0b","datavalue":{"value":"discrete mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$07AB42C9-CC2D-406D-B32A-C437F091D1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1b85b1407dbe1aa8dd495996e28a047321be51","datavalue":{"value":"text book","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$1F652F3B-97CD-4780-9FA4-B2CDADAA08D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$1EA6F0FD-2FFA-4167-8E69-8F031074ABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5546449885e3201b308407289d3f9b845ba8ab4a","datavalue":{"value":"algebraic manipulation of logical expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$C5BA7402-EBFB-45BC-BD84-A8347E08425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$65EA8A17-339D-4100-A014-0476FF051AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$16A1E430-E8B8-4D4A-A1C3-BFEFF56CDC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03158307b01a6e2de96f5585d7a65d8e1a522aae","datavalue":{"value":"resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$3BB4354D-9684-4AFA-86D8-579A20DA0A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$10735036-C2AA-4D56-9FC7-495B68C18597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$F5825ED7-B557-40A3-9D43-E121C9C80949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$E65C0F07-3252-4DD6-BF7E-38FACDA82F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$C3416CD9-DEE0-420C-A715-C3781A35B41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$03A235CC-474D-46A3-9EBF-125093559322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$828AC82F-5555-4A73-A174-44A5E1F7BC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0429ee50e2d52b97211c82b6623249a62ba21adb","datavalue":{"value":"sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$D7806190-44A5-4D63-90C6-759A102B987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$D255C91E-9EB0-4928-AE72-CE736393D6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9452b3dbdfc75b899bfdf31335a5a05fb55504ba","datavalue":{"value":"functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$049D3E16-8752-4C0A-808F-710EAE7AF44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$B9DBAC70-A229-4858-89AA-C3D4990DE6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e6628c61cace1c28f1707e8cfd891ab23bf6e7","datavalue":{"value":"functional programming language Miranda","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$FA30A076-7C92-458C-A31A-5EE44AF46CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$B581195C-E75B-48EC-975B-5270ECED0AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$2C110B0D-6928-4FE0-A3EA-202BBD7D77F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3668b85eba0f76bf466330a03ec86dc475ca544b","datavalue":{"value":"computing paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$4CC5398E-8886-4E97-B32F-026FA1F698EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c5c03fa15105c26387f7a01280894d6a5cfeaac","datavalue":{"value":"minimum weighted paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$CC3FDB6D-4BE9-4417-86B9-D243A5F93BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79fea923fe257428a15567ac9a4393a98e6d9e26","datavalue":{"value":"spanning trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$582E4E83-BBDD-4FF9-B8D2-2DCD5BD73706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$12C6FC37-0B9B-4475-B86C-64B7381254C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$9A797F94-85D7-4A79-90E8-34E69A42C69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$0719A1C6-6C91-4323-8DE4-4DFF42CFBE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1f75e8f430718e0f2a1042e291cbf21500b20b","datavalue":{"value":"grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$E7EA8117-6DA2-48AB-9768-C05621A14B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$5ABE3EE7-8C8C-417C-9503-F5436F38D846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"376e3cc9aa9092d494962b834fda03b8942e7273","datavalue":{"value":"LL(1) parser generator system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$EAA29EDE-AD07-4CAE-9D19-78EE9EF4D9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$54DC4790-5B45-44C8-93E7-5A99E51BC8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$E476192A-2FAC-4081-9980-5F2E9FA09E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7781db5f810100b1c75183665ffe0c10b181c915","datavalue":{"value":"relational databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$68C23DB2-FB91-414C-9C6A-C48A705F17B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846808$EEB50C93-7F57-4878-A3FC-AA70E151804C","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":"Q4846808$136DB27A-40C6-4ED5-802A-B533046D153F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd75cb76ad5afdd6e1b3fe3604863153db79075","datavalue":{"value":{"entity-type":"item","numeric-id":4846258,"id":"Q4846258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63aebd81896177b7334f61549b678bba55727f06","datavalue":{"value":{"amount":"+0.8452546000480652","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":"Q4846808$E624B8B7-2950-4601-B0FA-14DC629A853F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914d0aa3728f65763fbda11f54f4d89bdd336656","datavalue":{"value":{"entity-type":"item","numeric-id":4002622,"id":"Q4002622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b383d93fa36d44cf15f411ae0b3fffe3606bf526","datavalue":{"value":{"amount":"+0.8297120332717896","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":"Q4846808$89B27C9E-FD05-4348-B962-D18F0CD77880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff50c48f2323365f51cd5ac298e16780580bb1fc","datavalue":{"value":{"entity-type":"item","numeric-id":4296948,"id":"Q4296948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b383d93fa36d44cf15f411ae0b3fffe3606bf526","datavalue":{"value":{"amount":"+0.8297120332717896","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":"Q4846808$05EAB0B7-8119-4243-9A22-F7C3B7286E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1219169bc114953f4a7c749e83f5e4953dd42e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4293537,"id":"Q4293537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8ed715040f86e349aab9c441f0076da97f4f4f","datavalue":{"value":{"amount":"+0.8234764337539673","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":"Q4846808$E0F8E61A-8139-495D-89BD-9062622DB912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e23a86523996a6b1b20524b7f5766ff844105cd","datavalue":{"value":{"entity-type":"item","numeric-id":3997232,"id":"Q3997232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1c8e48b4f06a00df8c3f7998047e3a8f01afbd","datavalue":{"value":{"amount":"+0.8167660236358643","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":"Q4846808$E5BFF6A5-E47B-4102-8821-9386CD2826B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4846808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4846808"}}}}}