{"entities":{"Q266883":{"pageid":268650,"ns":120,"title":"Item:Q266883","lastrevid":60596160,"modified":"2026-04-10T17:56:55Z","type":"item","id":"Q266883","labels":{"en":{"language":"en","value":"Bunched sequential information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566313"}},"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":"Q266883$6BC38733-1F0F-4611-87DC-96E25DB40341","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be39474069c235d71939881f0913967c3c86618d","datavalue":{"value":{"text":"Bunched sequential information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q266883$E1388CC6-6DF3-4F77-8B57-CBC111B8B37D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3064ccc9e81c9ad1d74297520359ad45e5890188","datavalue":{"value":"1436.03144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266883$776A9EBD-D3DF-495D-B6EF-F6369974B3C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$8E365456-5746-4D3E-903B-FC71534F08F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$484F882A-C409-446A-964F-08A4012D7BDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64bf554456e45f50d4461f4a22c88ea8b86e4044","datavalue":{"value":{"time":"+2016-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q266883$4EB09F12-2FD0-4A38-93B3-3BE456DC6C31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266883$F28D93D0-DEA9-4372-9BE3-86596676DBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266883$A9475C59-DEA3-4CFF-A6CB-738D0E27E663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266883$86EA0631-7E44-4E09-821E-1045BFC60501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266883$AC9487C5-DFFC-487E-934F-A0013439F325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266883$FFB63DC5-EFA7-4F30-A55E-098183A0ED6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e4271d16e082ff88912caceb2e73e788c4f292b","datavalue":{"value":"6566313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266883$BEAF7D8D-696B-4284-87FD-AD6437910BE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"380bc51bd2879fba94a8b2f0e675824fbf92df94","datavalue":{"value":"logic BI of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q266883$E63483AF-68B6-405D-93A2-E053E0BD0D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aca431e276f7ea28bfd2711629e99ac050a4fd4e","datavalue":{"value":"sequential information","type":"string"},"datatype":"string"},"type":"statement","id":"Q266883$D8328BFF-7D86-4C98-AB51-22D21250E57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q266883$09C73B1C-E0C1-4346-9548-1CA0A8B63A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q266883$D3050F4B-8ABE-48C0-A4D2-B09C4F866327","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":"Q266883$EC183F28-9C5D-4B24-A9FF-A1DBCC7E83B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"827cf6982634e80787d2abe75222062566ade70a","datavalue":{"value":"https://doi.org/10.1016/j.jal.2016.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q266883$5895DEBF-4657-494D-81ED-FF2F7E0BDFC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b69b838f60c3d9b2cfdae7e73bd4b659d5d86e2d","datavalue":{"value":"W2281434313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266883$A7488A47-AE99-4E9D-8974-BC81B939FDFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab9300b4bba551b872dcb6cf7aa35711ac81e5f","datavalue":{"value":{"entity-type":"item","numeric-id":1960537,"id":"Q1960537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$32A5F4F8-C9FF-485A-8074-4AD9AACFCB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cae8bcce94a34bfeb4270743f244aecd42c2f78","datavalue":{"value":{"entity-type":"item","numeric-id":3656772,"id":"Q3656772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$863068C6-2CFE-4848-80E6-68BF0FA4D813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33514feb38aec616e587a10c9b74569bbb6bad07","datavalue":{"value":{"entity-type":"item","numeric-id":3643362,"id":"Q3643362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$3A044068-019A-43FB-9C16-3068D8047E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$DF62C850-B8F0-47B6-8984-C2EA772807F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fbbff2b84430f48a139d9c8fb770312b000db4","datavalue":{"value":{"entity-type":"item","numeric-id":4444937,"id":"Q4444937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$313C01CD-E94F-471C-96BB-AB6C4C084ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$9293FDE3-4E4E-400A-B681-74B0A5786F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$8D0F8C45-42C3-4B7A-9233-C8C610065214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b6ceaa44ad201997e25fe63406164519c2ebd1","datavalue":{"value":{"entity-type":"item","numeric-id":5267424,"id":"Q5267424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$AB121476-B341-4E40-86DF-615644B5EC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$DAB14D92-FE95-4451-A20F-DBD7FFDBF78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$DE3DDCEF-A6FD-44FE-BF96-56FAE8D786E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b3fca908540a12558e27540d4417f6987a3e5b","datavalue":{"value":{"entity-type":"item","numeric-id":2368991,"id":"Q2368991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$EE104AAC-A95C-42BE-B006-DC8A699D66D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85b8e403c08824435346993b7a7e3ad70a818aa","datavalue":{"value":{"entity-type":"item","numeric-id":2268354,"id":"Q2268354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$0980D44A-562A-41CB-9704-3FFD830AC651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56baeb82d63f36dafa37b5c5fca593e8b63836bc","datavalue":{"value":{"entity-type":"item","numeric-id":2888152,"id":"Q2888152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$43ECC0AD-4BDA-4C04-8370-490C90913B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c861260910eac4f997439f62ac44b27af2a7c1","datavalue":{"value":{"entity-type":"item","numeric-id":391122,"id":"Q391122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$4BECE70D-320A-449D-9D2E-F0BE33BE9BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4e0177e974d82aef28a01a869e41ebfff236b1","datavalue":{"value":{"entity-type":"item","numeric-id":2843814,"id":"Q2843814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$1EF4BE8E-A076-4771-A1D7-1C2899796B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83209e451b386934da087af785ccc2e33c62046c","datavalue":{"value":{"entity-type":"item","numeric-id":4461769,"id":"Q4461769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$89970253-913D-4F66-A019-6E216A4B77C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$DA98046D-AE90-454D-8498-1BBE22C2CDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$EA0F8A3E-E471-4106-B825-A915513FDD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$655C20DB-5EAF-47F1-8284-689E6647CA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9fd957d06f9549d11ea84200d3ec675a0d0b11","datavalue":{"value":{"entity-type":"item","numeric-id":855007,"id":"Q855007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$D23CA2D8-BA6D-4685-A514-242AF4F09B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7ce0f725b63255ac8127665f12a6e30d1bf3f9","datavalue":{"value":{"entity-type":"item","numeric-id":2864163,"id":"Q2864163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$6847DDED-CEE6-4C63-9160-9D4A34D361EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40c81f2144d4484e2ccf5a42d64e8348069be89","datavalue":{"value":{"entity-type":"item","numeric-id":5903941,"id":"Q5903941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$3C26236B-B0CF-4523-A48B-7DC1CD94D302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266883$1679E02E-996F-4BF2-BC46-FEDABA13ECEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a7bc782d13c52443844bad0f2288e93e363c4de","datavalue":{"value":"10.1016/J.JAL.2016.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266883$7A912994-0B8D-49EA-AACB-AAF4D29A6137","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa989996ced01fe27d84d37ed342ebc72ac4f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2df4ff8f4256474532b078630a132bb4edca4c","datavalue":{"value":{"amount":"+0.8017085790634155","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":"Q266883$83DA750E-6AD5-4E03-8B63-9E9970F576EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a621be19ccac2300d0e15d91c4480eefcb2127","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d2deb77d2c952745f578a2003860b3c31c2fa7","datavalue":{"value":{"amount":"+0.7780933976173401","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":"Q266883$8F06C754-B693-43F2-AAF5-AC32109B6961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e5151a0400266d29fce9a3f120125a9f649ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4411823,"id":"Q4411823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20bbffc511785904cf4ced6ed31790cd77727443","datavalue":{"value":{"amount":"+0.7686789035797119","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":"Q266883$AED761EE-BD78-4D57-8D17-E40B3DACD47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2249157f6965ebba3e8813e6b4b9a32cfe69dae","datavalue":{"value":{"entity-type":"item","numeric-id":3575307,"id":"Q3575307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e270b0eaed38a0e8095fc37d8ce0aebf36d8130","datavalue":{"value":{"amount":"+0.7682220935821533","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":"Q266883$421511D0-7530-43E0-8E40-5BD3B9621959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a60b3cf2c0b21f2a564b6ce714c4c7e7fd1ba8d","datavalue":{"value":{"entity-type":"item","numeric-id":4223033,"id":"Q4223033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5102139dd9370304da4cad1ea6c6b90b0b44263f","datavalue":{"value":{"amount":"+0.7668861746788025","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":"Q266883$92547160-4A51-499A-88BA-A56EAC2AE45C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bunched sequential information","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bunched_sequential_information"}}}}}