{"entities":{"Q3791150":{"pageid":5821056,"ns":120,"title":"Item:Q3791150","lastrevid":52896260,"modified":"2026-01-23T18:16:17Z","type":"item","id":"Q3791150","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055610"}},"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":"Q3791150$432E314F-4789-4B67-B153-5B3819BA5625","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33854624a5fd8fc92ec5bc6033b1a3209fb19ccc","datavalue":{"value":"0647.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791150$D83A8442-2C53-44B5-8490-D36676D3DC4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025c1e87512d81d5aa8fdc0640ce67f1cb58c6d3","datavalue":{"value":{"entity-type":"item","numeric-id":581389,"id":"Q581389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3791150$CE58C800-7F13-45C1-A024-498F42C97213","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3791150$95C60975-528E-47D3-B15D-C829D8232949","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791150$9D75F82C-F49D-4B3B-94C1-FA415B438813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791150$115E14F5-C087-4046-8ABB-46318F182576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791150$76D6E2B7-1F32-46CF-9F5E-8CDE486EE1FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d669c46ed51d4d04c079cfbbd17cd539efa156c","datavalue":{"value":"4055610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3791150$E4F82022-2522-4C23-AA14-4127199393F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daeccd0383b49f0f9edef054989caed040d38de6","datavalue":{"value":"separation theorem for intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3791150$BE769564-1AF0-4B04-B12B-36D635AD3E9C","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":"Q3791150$81A7ACC5-E84A-489E-A6A2-395642A000F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6305e3d9d3324e57b0d4d045a78fb864e2d686","datavalue":{"value":{"entity-type":"item","numeric-id":4212263,"id":"Q4212263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d67232cbca7738fea4fea291e52411a90ecd168","datavalue":{"value":{"amount":"+0.8618776","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":"Q3791150$BB5CC6AF-1384-45C3-B8C3-6B8C4397F905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e333fc6f44bbfb96bdc499d182d66e0bd42ccb","datavalue":{"value":{"entity-type":"item","numeric-id":1331897,"id":"Q1331897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13127cd11ce5faf0b8f3e89144ede4e796a485cc","datavalue":{"value":{"amount":"+0.82390195","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":"Q3791150$CFBADC10-A502-4374-94E6-38FFA3FA4B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e09916973fc22b4c0883738b63df4c7672e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":4820572,"id":"Q4820572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6115709d2ea7d08466d3bcd232c81bc67435658","datavalue":{"value":{"amount":"+0.81796885","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":"Q3791150$C4F55615-08A9-4109-8BD9-57A3609DD2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30bab239ad20dc37dee22f0067c734030a6a64d8","datavalue":{"value":{"entity-type":"item","numeric-id":1263717,"id":"Q1263717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63b8d693eab1cab3f9b5bf41b44568f66666c1e","datavalue":{"value":{"amount":"+0.8174954","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":"Q3791150$931CBEFF-2EE6-468D-B36D-31F2F462EACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0895ede468fb59214c6c4c13c770f3de74222994","datavalue":{"value":{"entity-type":"item","numeric-id":2316030,"id":"Q2316030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ec74a397850be20bf079b1ff9b09501d453878","datavalue":{"value":{"amount":"+0.81710285","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":"Q3791150$EF70D329-6AEA-4E5A-9499-38F67C3C0CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6b6a34b592362f0cfffad58a7ab69485c6a5d","datavalue":{"value":{"entity-type":"item","numeric-id":3451047,"id":"Q3451047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c4fb03980d8af1e48cdb3f7f6e9af7a6c42a81","datavalue":{"value":{"amount":"+0.81664634","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":"Q3791150$86527E7D-9737-4D26-862F-BD1FA6BEFD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda3ef4421f025f61d98d2a74179369f559d0bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4314515,"id":"Q4314515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b508a2d5559dd6be6fdc8cc0675bc0420464830b","datavalue":{"value":{"amount":"+0.81383204","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":"Q3791150$B3B9B00A-5DCA-4A4B-9217-01D8783397E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641b48971749e8d190d16789ffc8f23517ae56b5","datavalue":{"value":{"entity-type":"item","numeric-id":655990,"id":"Q655990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7011dd7f7f53ad4a6c10deefa37ff696ca00f3fe","datavalue":{"value":{"amount":"+0.81341445","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":"Q3791150$C2C09C85-6F38-41CC-8795-24B8498B0BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f22c78f0192353749080574c42a1b09ed02ea2","datavalue":{"value":{"entity-type":"item","numeric-id":1262338,"id":"Q1262338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce81462173e6ba3c057a30a4842c4b45c5c0dec","datavalue":{"value":{"amount":"+0.8131089","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":"Q3791150$10DEF242-452C-4616-A909-FFD202A577F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b6e1330edcaa6673d99cd93fbe0acf404f96f7","datavalue":{"value":{"entity-type":"item","numeric-id":713296,"id":"Q713296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d53aa4d5aafbde700d2a50a34e3249a34b41bf7","datavalue":{"value":{"amount":"+0.81121594","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":"Q3791150$FF539F31-044E-4D62-92BA-57A474FADC6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3791150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3791150"}}}}}