{"entities":{"Q3499748":{"pageid":5529651,"ns":120,"title":"Item:Q3499748","lastrevid":80585804,"modified":"2026-05-06T16:32:25Z","type":"item","id":"Q3499748","labels":{"en":{"language":"en","value":"Dependently Sorted Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5282028"}},"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":"Q3499748$9C19769F-AF77-42B9-AEF0-7A94ECD5DEB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6111cd2a9254dcc89a4494170dd0d358e3ce99ef","datavalue":{"value":{"text":"Dependently Sorted Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3499748$C47D2603-258C-43D4-B3F0-C9AD50F99A72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9bbd100dbc4ac94de2e36354691b8641b33d3df","datavalue":{"value":"1139.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499748$A17F6801-B1CB-40A0-8EF5-C874069ED33B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adfe41fa650d25b3e39cc89bfbeb1b3a20ac7903","datavalue":{"value":"10.1007/978-3-540-68103-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499748$638A131E-7763-4C74-B7C4-C8D13E183BB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5867798a93b1f50ef7ace46bf8a56bf25cc98f2","datavalue":{"value":{"entity-type":"item","numeric-id":3000570,"id":"Q3000570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$514C989C-5C2D-425C-9095-F9D535CD197D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$3D16AA5C-65D3-44C0-8E59-6488987E8406","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88e4ba475cabd2d879ecee60d295bc12168aa5d8","datavalue":{"value":{"time":"+2008-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3499748$CF66220B-0DC3-49BC-9B2D-3C1E9DF8057E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499748$06BBFC5C-2C2D-4C7A-BE41-08B142914030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499748$4A9DB336-DAD3-4F63-A551-12D9F63809DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499748$059993AF-74D3-44B1-BF12-1DE357177776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499748$E0C7700D-0D39-4C1F-90FF-33ACC0A1550F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdb42127799a6d3bc1b0568fbeb72c35742ed860","datavalue":{"value":"5282028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499748$4CBC7788-2C08-4582-8832-FA619EA2AFB1","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":"Q3499748$E200C16A-725D-4575-B94E-562E1BD62533","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da86641f9d524ec526b717d6cca50a97aff18133","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68103-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3499748$2270E532-2438-4B3B-825B-7C199F20B89A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a4ece864590b5b36df8814c37f8168ec7bd7837","datavalue":{"value":"W1540279298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499748$C9F8803E-78AC-468A-9C20-E39E121D4FB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be631185bda3d868c82d12b7fc951abfb57df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":5477624,"id":"Q5477624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$AED0F173-CBBD-4504-A81B-5F00775034A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$CD871412-C4ED-496A-92CE-4FD028DE7ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9adf66dc2b5bac8797ba402f3099e1cda29f69a","datavalue":{"value":{"entity-type":"item","numeric-id":3613421,"id":"Q3613421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$1C1C05F1-91EA-40E2-9888-7983B34DAE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$67BFAF34-7140-4A6A-9FCB-82A1C0F266A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdadbcbe25bd5325171cf1fa88153a2d2477cddc","datavalue":{"value":{"entity-type":"item","numeric-id":4825542,"id":"Q4825542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$C5ABD138-DCE6-4481-9DEC-BD26542AF7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11511698d35023c4a8d20816d296ddd192460fa0","datavalue":{"value":{"entity-type":"item","numeric-id":4945203,"id":"Q4945203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$E0B30E5C-4548-4D13-A08B-DDE32C10A61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$FFC163A6-0A4C-4B95-863A-EA6CAF9F00AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$093ABCA3-7DA6-4685-8CA4-0486756BD5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$63244CE1-FFC0-4D6D-864D-EE439F183F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$58D85994-F8BB-4146-8A33-68B60B3A52DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$39A1D404-C3E4-4264-9DA6-D7B0855DA67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985f9d20828abe33dd544faea2d39ec57ebe7fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3783260,"id":"Q3783260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$C689770C-9656-4ADF-998A-D9A5A457A682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499748$0DB52C59-3D02-4837-B9D3-241030BE3F11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f075bb84df02db439cb4d307a3a6b420f43434ac","datavalue":{"value":{"entity-type":"item","numeric-id":2849426,"id":"Q2849426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427504187265bf06f3ad5022f8183c10b0f03754","datavalue":{"value":{"amount":"+0.88321686","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":"Q3499748$D78E3C02-5403-4D5C-BD58-464B8FC117C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5594393164b030c8b0a1162c0e14e148283735","datavalue":{"value":{"entity-type":"item","numeric-id":2361349,"id":"Q2361349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427504187265bf06f3ad5022f8183c10b0f03754","datavalue":{"value":{"amount":"+0.88321686","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":"Q3499748$A8A45175-C503-4054-9348-03AB21CE9A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c266ae001969d08d8a07f01a3b967ad27ce2679","datavalue":{"value":{"entity-type":"item","numeric-id":4013970,"id":"Q4013970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff34eefde1177f0ae5d67430940cba873fdb8ece","datavalue":{"value":{"amount":"+0.87457263","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":"Q3499748$E897332A-3373-4B96-B18B-4928E6E9459F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db54f221b789235bf363fb9d56b65c264c3c258","datavalue":{"value":{"entity-type":"item","numeric-id":4295874,"id":"Q4295874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d796bf841039c2e00de13fd2594e6d58fbf6cbe","datavalue":{"value":{"amount":"+0.8737869","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":"Q3499748$5622B70E-0ED2-4CEB-B5FB-776918352443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976639a347e3815cfb8c619775267aadca65b623","datavalue":{"value":{"entity-type":"item","numeric-id":814621,"id":"Q814621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55eb7326e5ffd7ff46943d501cca5b592c648a1f","datavalue":{"value":{"amount":"+0.87360495","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":"Q3499748$97649187-083D-443F-9CAE-EA070484CD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2eef3bdbda46e4d317c8846893aa96099206e18","datavalue":{"value":{"entity-type":"item","numeric-id":2946680,"id":"Q2946680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0ec6644c1d0be3918f13eba810f63d4857faed","datavalue":{"value":{"amount":"+0.87209934","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":"Q3499748$E02A9195-037F-4209-90CF-CB45D1A6F45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfbc2c517f77e093efabc7bad6001143efba081","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aeba38c9e053a928e427a59be0c7194947c9b9","datavalue":{"value":{"amount":"+0.8707173","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":"Q3499748$C797EFD1-5B30-4AB2-81F2-396E56DDD63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78071f2f5294ec8ea5968c8615a20784dcc70804","datavalue":{"value":{"entity-type":"item","numeric-id":5249667,"id":"Q5249667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc94e44866358fe73c926f1c3aaf9a37fb661b0","datavalue":{"value":{"amount":"+0.86902344","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":"Q3499748$373CA0F3-3646-43DA-B048-76C414C143E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1341e095fb78b372f8126db81411c024d1338e","datavalue":{"value":{"entity-type":"item","numeric-id":6076360,"id":"Q6076360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908e06778e902640725e0f7aac26b8962d3e2649","datavalue":{"value":{"amount":"+0.86627996","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":"Q3499748$FA39228C-9923-4A13-B47C-BE47C6290DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1dc426adc2cf162971be3d8416e57ecf97d756","datavalue":{"value":{"entity-type":"item","numeric-id":3795656,"id":"Q3795656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a80caa0e3b5e5b2bda3df979d2405f95477d652","datavalue":{"value":{"amount":"+0.8600084","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":"Q3499748$B4DE90EB-758B-4AD0-9024-B147CC62C4E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dependently Sorted Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dependently_Sorted_Logic"}}}}}