{"entities":{"Q4246955":{"pageid":6276556,"ns":120,"title":"Item:Q4246955","lastrevid":40900950,"modified":"2025-04-13T22:34:09Z","type":"item","id":"Q4246955","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301742"}},"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":"Q4246955$984F05D4-5B8A-44F7-9292-9CCBE8E10F67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eff1ef7c6f589f018f605ec51c292cd0a445d6bf","datavalue":{"value":"0928.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246955$48AE48AA-E48C-4142-BE3B-B27E17CBBFB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246955$0689BD87-B99D-4738-9AD4-A25C8F34CA2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246955$D6C11B84-16DD-42A0-A8C4-DD9D099B5E7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246955$D6C82A46-1F88-4EB5-870D-502031C6E435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246955$9E192B67-4C05-4108-9A27-FCAF41F60A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246955$A5BA725C-B5C7-4AF7-B748-AD0E2EB5AE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246955$722E4C63-7909-4466-8A9A-F6A821579911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246955$9B2DED40-2887-48DB-AF9C-49C75F33B897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246955$506C554D-BFCF-404A-A29C-6D4B4F6F61DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"836e7e00036cf4cac4d6d513f4d3d48d59a6e7d5","datavalue":{"value":"1301742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246955$9CBEF70A-FA35-47AB-A05A-CEE6525F318F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246955$59ADADD5-CFFE-45F2-9F87-56272C51699B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246955$0B014EC1-24BC-48E1-86C2-EAB379BFC271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246955$84BFAF01-4910-480E-9C33-30313E8B2C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246955$C62E0C66-D822-4EC4-9DC9-8EE9F502656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246955$340DCD6E-0EA3-472B-A8A1-54C7FF9405BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36fcc5187138dbc1674a065bb674122a597aba1c","datavalue":{"value":"uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246955$8C532B51-A1E7-4771-8533-C246E30AAC28","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":"Q4246955$78085355-D8D2-415D-9FD0-EF2A7F1A1721","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdbdea51369454172209889b2b72d73e825279e","datavalue":{"value":{"entity-type":"item","numeric-id":5344990,"id":"Q5344990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c964d554c20822e30d9378ebaf666c9284800e","datavalue":{"value":{"amount":"+0.85491574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$950C250E-548B-4254-BB9E-EA411B80E140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1ba475e37a0cbca5039700146418ae88bd5406","datavalue":{"value":{"entity-type":"item","numeric-id":4457805,"id":"Q4457805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13648a5e3986d5a4f6a898d48c0ffbcd9f158fc7","datavalue":{"value":{"amount":"+0.8490589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$8783E1C8-1391-4AB9-A96E-16AD14599DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6026f9ff51083568f47a16df21fb9a72c80c683c","datavalue":{"value":{"entity-type":"item","numeric-id":4412245,"id":"Q4412245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af061da7bf24de7e68bc21d18bb216a010e77b7","datavalue":{"value":{"amount":"+0.84484184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$A7088DC7-2829-471E-9858-237951AB39F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e43d82f7bf236a439006b716bd880c2cf6264b","datavalue":{"value":{"entity-type":"item","numeric-id":5603868,"id":"Q5603868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb203a53fdbd595bfe0e0d55ff8f0eb3e6fcfb07","datavalue":{"value":{"amount":"+0.844252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$CD8B1E66-4A4A-4DA8-8624-A49F98EE430B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f89ae176d732d6fee29c2e267d7757dc151483","datavalue":{"value":{"entity-type":"item","numeric-id":5930853,"id":"Q5930853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4c1688ec33139764712dfeffc5ee36ab11ed06","datavalue":{"value":{"amount":"+0.8380222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$87DC3417-21C1-4E83-9EC1-1287F0955EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b208806c19201d0d983cef3a0946eed1be7897eb","datavalue":{"value":{"entity-type":"item","numeric-id":5425400,"id":"Q5425400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a0c89ec2233f814050e65386ad9d7be11899ff","datavalue":{"value":{"amount":"+0.8325529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$A6384327-6DBA-415A-8348-47484AC56194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a9888ce2c7073307fcc944282c90e1fe246cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":6487292,"id":"Q6487292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a4a0dc9031b1a7dc807c0498e0700662a66418","datavalue":{"value":{"amount":"+0.8279705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$0D66771D-8985-4600-BCE3-FB3A079197A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975093f4c3fa2bedd37ef296a9b0f6be39f733a7","datavalue":{"value":{"entity-type":"item","numeric-id":4381709,"id":"Q4381709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5acba1d5e3e411aafd5eaf44d916c1db2b8bcf4","datavalue":{"value":{"amount":"+0.81381214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$C083D28A-C768-4C3E-BF4F-0018B457E680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1ded505e80c7142b381eee40e183cfcf2312ee","datavalue":{"value":{"entity-type":"item","numeric-id":1075752,"id":"Q1075752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03821bfa68b158cbe58bbfc13f758321c059723","datavalue":{"value":{"amount":"+0.813778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$A0D44D08-1D15-4C80-A610-2BDD4AA7A323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf14921bfbcc3f41ecbe99fed94da538840c84e","datavalue":{"value":{"entity-type":"item","numeric-id":5311125,"id":"Q5311125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08e456c746f48afce36a4eb012f5b865a86f3a1","datavalue":{"value":{"amount":"+0.8131145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246955$8D50B3FD-9761-4A1E-80B1-A9286625C054","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246955"}}}}}