{"entities":{"Q3008060":{"pageid":3018784,"ns":120,"title":"Item:Q3008060","lastrevid":51271355,"modified":"2026-01-17T13:18:36Z","type":"item","id":"Q3008060","labels":{"en":{"language":"en","value":"Extending constructive operational set theory by impredicative principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909703"}},"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":"Q3008060$E6AD9CB1-F10E-4E6D-8D3B-FBCD98A08799","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f384aef293d377f955cb94b5432fe39a79904d3","datavalue":{"value":{"text":"Extending constructive operational set theory by impredicative principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3008060$DF40467F-0539-476A-9E00-EA82F83FD74C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71a1fd71550d0534f97e328cc6b49a9e0b4adde6","datavalue":{"value":"1231.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$9E97CADE-F82B-49E2-AB81-F67F0CEBAD39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$A8344CA0-6A01-4677-A307-EAB1A0437F7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$41F3C574-30FD-4E25-A421-DBD8230F9600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3008060$1A3D0D7E-7263-452D-BADC-079A9ADAA1C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$0F5BEF59-AA52-4B10-9646-545EE07A26B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$19B9C7F5-9D00-4C22-96EB-CB63080EC080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$CBB34D25-3C14-4B63-BE90-4A05B1F04FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$2A738BE9-063A-4DB6-86A9-D029E4F0E6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$F2EE574A-2B0C-47C7-BDDA-701F4A5E3A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$4AA7B4A3-54D6-49F0-AE38-D070A2E3B60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$6C1A3DF2-7F8D-4CE8-9FBC-051E82FFD8AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fe6945e709ce7cb45068f044f945c351469e7f3","datavalue":{"value":"5909703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$A4356443-1AA5-42DA-B589-8F272DF13FFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008060$ECA6E1CA-1091-45F1-844D-201618920C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac95c99fe9f85455bcfbcd0ef9331c7f5ed0064a","datavalue":{"value":"subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008060$4094DF50-7BEB-49BC-BD4E-92D1280C1053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1c86ebf9215be9e31cfada69b39023ae20c8ef8","datavalue":{"value":"set theory with explicit operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008060$97678D87-4020-4C64-9CC2-9FBBFD476F7E","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":"Q3008060$5B593034-8AB6-49BF-9FFD-39215018DF08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"202096d565de9d4260675eb33d0b435d34085d83","datavalue":{"value":"https://doi.org/10.1002/malq.201010009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3008060$9C4C6C91-8506-43CF-8B0E-145AB6ED91B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a780163ed86ff64b3f904dfb261542e1c87dc554","datavalue":{"value":"W1990001580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$43924DD7-85A0-41C4-BA43-47B39DA196E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$F562A614-3597-4C72-9DE1-D22E1392262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59107da81e96c701fa1346bd3051791bca44fc43","datavalue":{"value":{"entity-type":"item","numeric-id":1825191,"id":"Q1825191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$897F6D31-00A3-493A-95D9-5A54BF7C560F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f954579b11b61654d613eb6bf07408594b31ed","datavalue":{"value":{"entity-type":"item","numeric-id":4295223,"id":"Q4295223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$07352203-4E31-4622-93D0-CDCE67AEC826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bddd196c0f3ca08888be39b88b23f0199bd652f","datavalue":{"value":{"entity-type":"item","numeric-id":3081642,"id":"Q3081642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$77F53F85-9961-442F-9D0E-5075DEC72039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36966a8e78b7ca52795d4f824a4634dc030e8550","datavalue":{"value":{"entity-type":"item","numeric-id":1612481,"id":"Q1612481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$6CBA81A7-DDC4-4B26-A598-2F7780AC16E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$3E79893D-C09F-4777-8AE8-5FD1E08581F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$5A030394-5444-4FBD-9E40-EA0B8C9EC8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c43a7e3bd5c95244b1398594e01f99a1a50e79e","datavalue":{"value":{"entity-type":"item","numeric-id":731889,"id":"Q731889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$FB8C5300-0A13-487B-A8DD-EA8F087D0F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$AA43F336-F61D-4B64-8C76-9F1C64BB1B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb580c82523f253a797e87216521a6b51de0230","datavalue":{"value":{"entity-type":"item","numeric-id":4168917,"id":"Q4168917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$6F8441B9-AE12-44DD-B985-A8EBC519C0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19e42354e9e75cbc576e2c5ce93fd2a4850a10f","datavalue":{"value":{"entity-type":"item","numeric-id":1877095,"id":"Q1877095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$7038CFB6-188B-49A3-BDA6-C7EECF81D894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8767c9d3ac144ac25164336adf5d01e88832f35c","datavalue":{"value":{"entity-type":"item","numeric-id":2463480,"id":"Q2463480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$F1243241-FD28-4D14-8F0D-22FE2342A018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7a8f5c3a41e9b142d0ee8c050878e8c80ea23f","datavalue":{"value":{"entity-type":"item","numeric-id":1024551,"id":"Q1024551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$85B9DF02-A627-4260-A4C2-E6015BB9FF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd0e14918e109d02c7e38920be6745b2bb40969","datavalue":{"value":{"entity-type":"item","numeric-id":5287693,"id":"Q5287693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$C42E16BD-9125-4A99-A4AD-62F78D1A5813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5991726cac52e4d83f50c4669884909acb3474da","datavalue":{"value":{"entity-type":"item","numeric-id":2498896,"id":"Q2498896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$A1388FB2-DDA4-4A14-88AF-09C95C468BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f5e3d947d8287be5c6f7db9dc23c39945753a5","datavalue":{"value":{"entity-type":"item","numeric-id":5448619,"id":"Q5448619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$7726B2A4-67DE-4A85-84ED-3ACF92C687D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$2DBA8727-1E1F-41F6-9B2F-8AB9BF66084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e9ee98397556462ddfa3d02b150fca012e0fca","datavalue":{"value":{"entity-type":"item","numeric-id":5311753,"id":"Q5311753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008060$49216A77-36CB-4FB1-9165-896E2EF42483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cd61fa3e34cf8bf9b3c1ee7d805a44403833a28","datavalue":{"value":"10.1002/MALQ.201010009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008060$B37B94D3-ECC5-4AD2-B5C5-10240B40D6B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c95c6f7cdf33bcaa864b15aeb194779f6c94d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3081642,"id":"Q3081642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b910148a0c3e8a5a12e7a536f180e5da067b969","datavalue":{"value":{"amount":"+0.8434837460517883","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":"Q3008060$C395A504-ECB8-4177-8535-CBA0C2C72C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9889c3b95b1b19beb22295a52aaf6a8c4c4004","datavalue":{"value":{"entity-type":"item","numeric-id":5457300,"id":"Q5457300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe8b59037852748ee45a24ff7f306d54581f396","datavalue":{"value":{"amount":"+0.7922695279121399","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":"Q3008060$74530C76-F50E-4624-A2F2-9B4F4E32F7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878fc562afab29a23442928d1d6a3d297c535695","datavalue":{"value":{"entity-type":"item","numeric-id":4630796,"id":"Q4630796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363831e813afa2375e142dfad789cf7272748b5a","datavalue":{"value":{"amount":"+0.7780662178993225","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":"Q3008060$48DB05BC-C134-4D7A-8BEE-C27C5ABEAB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724fb07d10a07f431e62a8b10f8a9a5345bed691","datavalue":{"value":{"entity-type":"item","numeric-id":1024551,"id":"Q1024551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acf67a1130f578a8e69275123909fb8b5748d83","datavalue":{"value":{"amount":"+0.7655495405197144","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":"Q3008060$38BA417B-623B-44CF-A81D-20406CDC8FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331c1b77b56a2861d1d6860808af864c9d285951","datavalue":{"value":{"entity-type":"item","numeric-id":2463480,"id":"Q2463480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612399a69080c7071cc842deb0986dcd65b29f3d","datavalue":{"value":{"amount":"+0.7587087750434875","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":"Q3008060$36CD0E35-2E6D-4C0E-9AF1-0945B454A5BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3008060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3008060"}}}}}