{"entities":{"Q4846259":{"pageid":6875839,"ns":120,"title":"Item:Q4846259","lastrevid":41138205,"modified":"2025-04-18T11:26:33Z","type":"item","id":"Q4846259","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 789391"}},"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":"Q4846259$B84AD0DC-9F53-43AC-9661-5161F11DCAA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a50caa66fa4b2b4df0555d1ec2104dfde1674b1c","datavalue":{"value":"0842.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846259$4795C9EA-F0C6-4132-BD89-8A354B5DC8DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4846259$8DAAA5A7-BBF1-460D-B369-3E48715595C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4846259$5F6C83EB-0554-4B00-88EC-CBF4F87C43BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"879e9c8757654dbd25057a485cba58ff7f08901e","datavalue":{"value":{"time":"+1995-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4846259$ACDB3AC2-8CEA-482B-A335-BB47D419252A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846259$583490BC-5C8E-4220-B327-08EDC62AC155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846259$CF2BB658-1B21-4DE7-8CA8-33B341FE8F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846259$D5EAF5DB-AC26-487E-82C0-96F59ECA5C45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e20029d3755ece3a6239863506a9289a5bdd0443","datavalue":{"value":"789391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846259$DCBAD95E-2D54-43D5-8B36-B0C10DF12EF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b09386004529bb01e89a60bd36e0d1a6d865ee1","datavalue":{"value":"textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846259$E7357B72-B92F-4E54-BFB3-78FED907EC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846259$32B31128-822E-475C-B656-CFC7A7E80A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1a5cc3bec0286089741d7ea52d9a8d72cb4d87","datavalue":{"value":"applied logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846259$36A67EBB-866C-4DE7-A91E-C52F763C3EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846259$53F75BA5-AB66-465D-ABF4-14AE784A45C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846259$7F0FB5B8-66AE-4ED0-9098-6E51C2C3C5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846259$7FCF666E-291A-49CE-971B-F35D63018856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846259$C14EF5BA-3322-4341-9A2D-0FCC2A1A6342","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":"Q4846259$4870BD82-196D-4FB9-90F7-C4D8BC97B862","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8443caedf36cb4a469d7c31ca07ef4894cd054f8","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9d0b973e6bda4c05040037a19e996242044266","datavalue":{"value":{"amount":"+0.9552727","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":"Q4846259$691AB185-C934-4011-A6F2-382C9BBCE8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7847cff27e6b0c55a11f3ce52b8ac8a46e9861","datavalue":{"value":{"entity-type":"item","numeric-id":4301157,"id":"Q4301157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dee0ccc5442f5c6c0f2a5b92f1488cf61050197","datavalue":{"value":{"amount":"+0.9363214","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":"Q4846259$6BAD3FD3-097B-4E4F-A266-5AAFC049E407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a8c17680e81756a0eb019f3f218af5c1d4f038","datavalue":{"value":{"entity-type":"item","numeric-id":3766839,"id":"Q3766839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230a6b5a3a0f87921688394e361eec1488eda317","datavalue":{"value":{"amount":"+0.91778135","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":"Q4846259$9575CBE0-D04F-4B9B-A36E-4CA6909E6FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e92e38e6d74aafac5beb58206cb09cff2aec58a4","datavalue":{"value":{"entity-type":"item","numeric-id":5690838,"id":"Q5690838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333c295b6d4107006d06c07727077ce4ff3c87ec","datavalue":{"value":{"amount":"+0.9177813","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":"Q4846259$07879DAF-D88B-4BDC-8379-CA932BACE453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e151d50f35de06414c22bbf0931a5ffa691c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5463271,"id":"Q5463271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb521e567a4ff1bbeea9512a020448651c3f2767","datavalue":{"value":{"amount":"+0.9009681","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":"Q4846259$FAD60F27-9391-43FC-B3EF-6DBC898F42A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2771fac6617a05e6b4ffe091600a1c1f2b24bf49","datavalue":{"value":{"entity-type":"item","numeric-id":4594004,"id":"Q4594004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7218a446320f5da51577d7e3c351699de4e04ccc","datavalue":{"value":{"amount":"+0.89661604","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":"Q4846259$660CBA2C-E62F-4CCD-BE87-C16E078A12E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7b3526bba6592908679513dae06efb66530599","datavalue":{"value":{"entity-type":"item","numeric-id":5894107,"id":"Q5894107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c49750cc25538ae1b32563d3db29edfbec13c46","datavalue":{"value":{"amount":"+0.87947005","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":"Q4846259$35314CBF-BD41-4670-AE19-29D12F5E86C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa2f609856cd99b7370997cc5fd2d5d37012c685","datavalue":{"value":{"entity-type":"item","numeric-id":5387355,"id":"Q5387355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c49750cc25538ae1b32563d3db29edfbec13c46","datavalue":{"value":{"amount":"+0.87947005","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":"Q4846259$D348DC4C-76AC-4E35-852F-07EFFCBD7A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b896f4b8435cb88e207d8e6c04f48903e7f541","datavalue":{"value":{"entity-type":"item","numeric-id":4857787,"id":"Q4857787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c49750cc25538ae1b32563d3db29edfbec13c46","datavalue":{"value":{"amount":"+0.87947005","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":"Q4846259$C107EE56-64EB-4EE8-9E45-298EFDEC3646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4846259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4846259"}}}}}