{"entities":{"Q1744413":{"pageid":1755155,"ns":120,"title":"Item:Q1744413","lastrevid":53070194,"modified":"2026-01-24T04:09:13Z","type":"item","id":"Q1744413","labels":{"en":{"language":"en","value":"Fibrational modal type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862947"}},"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":"Q1744413$7956CB5A-B438-44CB-8B88-064985B06840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1472b631d36316f0c6a80caf6cacb35182d26261","datavalue":{"value":{"text":"Fibrational modal type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744413$7BAB0CD5-34D2-44B8-856A-B040874C213D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87865b952b1f214b8c217ee752c69c84c9a7d34f","datavalue":{"value":"1394.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744413$2A5F506E-4DFB-4334-A2DC-C7E67B195C12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$623ED9C0-2AD2-4D0A-9226-2D1293691C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$A9BC2279-FC21-4ABD-AE3A-5531A2A7C566","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q1744413$E9BF687E-4516-4E37-94C2-74C32B624B52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744413$93946AC3-B2DC-48B1-B8F8-E1B01B565F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744413$B1DA5756-3D43-495B-BA9D-6759A3B59370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744413$67B1057B-902E-430F-865F-1B89AA2170B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f587c077ded27faf5f138d1feba63b3af6897441","datavalue":{"value":"6862947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744413$EC446552-B9ED-464E-9895-347996516B26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744413$6D8389C5-65D2-482A-9245-82C37DC66B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744413$41443442-4F6D-4909-8584-885F82F2A21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744413$8E1D84A8-D3EC-4744-90D5-A1ECD74CC1E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$CA744EAC-2EBD-4274-8019-E5815B5EDE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$1E2E57E3-5802-4EF8-950E-FD3DDF1939BB","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":"Q1744413$165496D9-A508-4E90-88D6-815741FE5732","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a1931fb55f3a430e2749b89a41a67c0b2b529b2","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.06.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744413$444CD41C-2A7E-44EE-8C82-EBA20FFF5804","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ed975c904dec47b065a28a439f0a1bf457c140d","datavalue":{"value":"W2472614804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744413$132CEB2F-FDB5-4E32-9150-351B530D8A22","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b1fcadff69d76e833469a37e90a97af38206d6c6","datavalue":{"value":"Q56994433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744413$FECA85CC-84E6-4459-997A-52A357FB0DA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$9D4D7C8F-CBBC-4BDC-8799-E22C69D773CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$82492A09-0B6A-478B-A7FD-0C2D648AD773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$0CADE9F8-8E4F-44D5-AB53-B0FEF936C6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$8F03AD7F-4DC6-4D85-8996-F1C5EE044E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d924809cd7dde4fee01261ee91e6338b092ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$5595D68C-02D8-44B6-9C87-DF406738F5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$9252461C-7CC5-49AD-B1CF-3AE4BE54B703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c432b3a8443ac3dad31e1654e01a0bf43e1fac","datavalue":{"value":{"entity-type":"item","numeric-id":4315015,"id":"Q4315015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$A156BDFA-4BC4-49A1-84E2-3C027B26FA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78348a6daa039ac48174b092fcd01401f8c11fa6","datavalue":{"value":{"entity-type":"item","numeric-id":5408400,"id":"Q5408400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$67E1FAE4-28FE-46D1-99A8-32BD7DFE24E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$C4B5F588-1492-4B5F-A003-5C936848A639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$57D5CA57-5599-41C9-A950-8372EC148FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$B3F294E7-737F-401E-8360-CC044B956120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$3B3AF086-976C-42EB-B4BA-C83F75222016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ffcb59189d45049dbb8b637f649d3013fafd9","datavalue":{"value":{"entity-type":"item","numeric-id":3898472,"id":"Q3898472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$505CCF98-DABA-465B-8CDB-0B6E811F8E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704d232b4924666c6f169f58fcfb8c118dc3bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5793835,"id":"Q5793835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$13D361AC-7F59-43BE-89C4-E172E6053363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191e9aa8283541e6a8e1a9c064cd250820506f48","datavalue":{"value":{"entity-type":"item","numeric-id":4219051,"id":"Q4219051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$E6D3DE3B-0738-4686-8966-24118E17FAC9","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":"Q1744413$F01A17CD-8875-4FEC-9812-996192E3FBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb72cd6bda37262199f054c3e49ed1f627a6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1392142,"id":"Q1392142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$EE32D4FD-F4E4-4F92-89A7-23BB218F0BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda1cd2309f719dc08cfd443fcd1e31d414564b9","datavalue":{"value":{"entity-type":"item","numeric-id":2819785,"id":"Q2819785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$32CAA6D3-2C0E-4DB6-AECB-DB7A30435E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c40d2e8e181fc2400d9bb9e8f019ced7c5619b","datavalue":{"value":{"entity-type":"item","numeric-id":4508305,"id":"Q4508305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$C0789E29-CF4E-4775-9CB3-80BBE77CD428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$972BFBBC-0A97-459A-85B6-FC316374CC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$E8BE5FD5-4639-4450-8EEE-3B798336D532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$99681CC3-0C6D-4920-9230-4786CF0B318E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff7991562411ba98f0f54372afaffc7b89e7d1f","datavalue":{"value":{"entity-type":"item","numeric-id":1349667,"id":"Q1349667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$D2DF7480-1581-44B8-9B18-B7AAFF03A097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744413$21F21781-B136-4BEE-9647-909C2D7C530A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c4f3c48bd92e6d58528ec5429d0de8778e4c042f","datavalue":{"value":"journals/entcs/PaivaR16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744413$1A298845-EE05-42D2-967D-DE39BCDB9B75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"608d7ed25d8e9ea10a1cb3975fdefe1a7cd71c8f","datavalue":{"value":"10.1016/J.ENTCS.2016.06.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744413$AE44F2FD-2C99-496D-A7D7-1FDDF5A953B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdb45cc7ab8da35f7677885f7ab810d5e4b7f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5220184,"id":"Q5220184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21022a730e5f3b3cbb386ab95349747a3b0f6438","datavalue":{"value":{"amount":"+0.8140482902526855","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":"Q1744413$5B8A912D-0132-4957-9207-5D53C54160E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6519262422d4ed04f20481fb43f9519fc2172e","datavalue":{"value":{"entity-type":"item","numeric-id":5145658,"id":"Q5145658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20bf4b2ca08fe64bb4fda7f4a696b81800cde8b","datavalue":{"value":{"amount":"+0.7777456641197205","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":"Q1744413$5F0A147B-6654-46CD-955D-7AA14D8DAB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c8a36b8cf95b30f9d5ee783a3172492925c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5155672,"id":"Q5155672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fa951f0121741638ba00e6d26e4cf4c30d21f0","datavalue":{"value":{"amount":"+0.7726046442985535","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":"Q1744413$D2BDECE1-7DEC-4A7D-B4C6-CFB3C9347469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eced500058b3c9bb361c015d2054a1a57aeb91b","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3d483cf6768c9e75a359319ef416478951cc9a","datavalue":{"value":{"amount":"+0.7550666928291321","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":"Q1744413$FBB696C9-99B6-4910-B107-764EA14F259A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb928e427d1c99057f0b9b5d63ed4e4a7e768ae","datavalue":{"value":{"entity-type":"item","numeric-id":5072609,"id":"Q5072609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c9a9323efaf4d0087ba03859243d774696305b","datavalue":{"value":{"amount":"+0.7516610026359558","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":"Q1744413$A4B47D29-4467-4BC0-9EEF-DCC28B6D2A75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744413"}}}}}