{"entities":{"Q4632439":{"pageid":6662020,"ns":120,"title":"Item:Q4632439","lastrevid":82167833,"modified":"2026-05-06T20:15:54Z","type":"item","id":"Q4632439","labels":{"en":{"language":"en","value":"Bistructures, bidomains and linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048687"}},"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":"Q4632439$13DD1D0E-44B2-41DE-B060-5B5CC4E5AC19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d635d69e6770328dbf2791fb435a2a9357290c7","datavalue":{"value":{"text":"Bistructures, bidomains and linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632439$00A6BD89-F3A3-4FBB-89C8-30CC797A1F1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b8420b4d06bd6c144d7413b2e1c70fb33469751","datavalue":{"value":"1422.03130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632439$EA81F844-B45D-4939-BE94-EBA3F4EE63F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a8254442a7f6800935adde9759001ee3dc4854b","datavalue":{"value":"10.1007/3-540-58201-0_81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632439$0EE571DC-CB81-43ED-8703-D69399A7A7A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632439$FC03DD54-BE71-4AD7-962F-FAE34F015306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632439$6C3A862C-8C5B-43F7-A7B0-A9D1018D8D51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632439$E6E205AC-49FD-4249-B805-83EB418F8B63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632439$B70471E1-BA67-4A19-9974-DF8F8343DC30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09f3ab4df6565eb50a8661582ce869fe4913ed8d","datavalue":{"value":"http://hdl.handle.net/1842/222","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632439$A8B2CDFA-E29B-4236-A071-3F28820CDF8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632439$55D4A072-5046-4608-BA13-55F47F4DCDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632439$1F3BAD68-DB6E-41BE-8780-475C538210D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632439$1EE4C37C-9C24-4D47-919E-D6A99C8661DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632439$02B284EC-A81C-4E07-9CB0-0EB9A0C5D08B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d8968f2124c936dba15bd5ffa5807562d9cfdb5","datavalue":{"value":"7048687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632439$2F44CD0D-C725-458D-9A98-272230482822","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632439$3E898097-9286-4212-B730-374CB3228896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"673aeda341f19080a380d05aa18b53ce781fb6de","datavalue":{"value":"event structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632439$45D74072-669D-43F8-8916-C416B7A0CB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed7a32dbb35eb7d80a9144317dc6d5efaa4ccb57","datavalue":{"value":"stable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632439$97AE73AB-B147-47DB-982B-89A39C8E94B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632439$7812D5E7-9D81-4829-8C59-FB57BEC35010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632439$C0C32F2B-7621-4F8D-AD3B-3D8A2CCB6203","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":"Q4632439$1F507AD6-10FB-4749-898E-F75D6AECCDF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8fd64406a94e5c02cd17e27333a58e5e8a7a01f","datavalue":{"value":"W1764258261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632439$95284190-79FC-416C-868C-D8BD8F5CCBFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1efcb10215b3618d498e2cb6f759645b8d93a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5287527,"id":"Q5287527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632439$806ADA9D-F471-4C2E-938A-A1530A6A91FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632439$E2F8DDA5-5C9F-4253-B3C4-ADC276B7F9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632439$F42C1E6D-D50C-4F16-9AF8-9313CCDF13F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632439$C3839B1C-5333-4694-9065-0E47DD4C7D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632439$CB14B4F7-3BB7-43E4-B8FE-AFF0AC7E031E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f08428aa5ff5cff206c04eafd38aae6ff6337d0","datavalue":{"value":{"entity-type":"item","numeric-id":4325268,"id":"Q4325268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632439$C6A4C2E8-C19C-4BBC-8F45-05E4CA416EC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5adbf6635576b878da7dfce169b422e3cc97aa","datavalue":{"value":{"entity-type":"item","numeric-id":5096876,"id":"Q5096876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a033cf3a04d412a195e85754eb3a0ad2ea6a6d3","datavalue":{"value":{"amount":"+0.8699987530708313","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":"Q4632439$5A3157FC-E66D-43C4-BE88-87ED962BDA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee69f42a28f13dcd5bb9ad294bd2fe794441915","datavalue":{"value":{"entity-type":"item","numeric-id":2566030,"id":"Q2566030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5721d98f9cc0eab397dd3d7c25e4c78fd214ae22","datavalue":{"value":{"amount":"+0.7740583419799805","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":"Q4632439$1267BEB2-9D4C-4430-9C8D-8022F52E7245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc39dfae3ef56b20b9d098996db15052b0087d9","datavalue":{"value":{"entity-type":"item","numeric-id":4279246,"id":"Q4279246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc346f25ed8508f97d81c6b1ae86c15d185d368","datavalue":{"value":{"amount":"+0.751576840877533","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":"Q4632439$7688EC11-3E23-4381-AA63-6501B0A15C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fe64d8b9d5e42b934fe073de0a6113c7efe05d","datavalue":{"value":{"entity-type":"item","numeric-id":6116584,"id":"Q6116584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d6482aca66098dc65d3c6ff5c9ee1ef1af2c57","datavalue":{"value":{"amount":"+0.738770604133606","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":"Q4632439$115E4AA3-4E0B-4311-9093-F68FD4CF1B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c69ae392441ba283187ea1e76259998961e93a2","datavalue":{"value":{"entity-type":"item","numeric-id":5890060,"id":"Q5890060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7d65748524dc08e01b2c1ba6e2a2c17d6462bc","datavalue":{"value":{"amount":"+0.7232890725135803","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":"Q4632439$A09F6CEA-1556-415E-8BA2-B6F74B9C0B3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bistructures, bidomains and linear logic","badges":[]}}}}}