{"entities":{"Q3478387":{"pageid":5505158,"ns":120,"title":"Item:Q3478387","lastrevid":49380499,"modified":"2026-01-07T01:45:17Z","type":"item","id":"Q3478387","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148062"}},"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":"Q3478387$B094FFFA-39EC-45FC-AF64-A9AACC24BC28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0780639313bc0e95702387ec91ffc3fabd58d222","datavalue":{"value":"0701.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478387$DAEF201D-76EB-411A-9D0A-4C8B561537ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478387$C61EDA5F-C026-416E-AE27-3DBF39F51E29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3478387$ECAD67E7-BFC0-4A9C-B9EF-5B8DD25E7C4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478387$CDAB834D-F05A-4904-8B2E-FDD112F91AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478387$0DC6B707-162F-4350-A28C-25EC1FDE032D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478387$B08D425A-8C54-4217-9EC3-BBA741D825A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff674ecdc7e10dd46f24561c299e5dc7278f6ba0","datavalue":{"value":"4148062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478387$CA6B5067-5A3C-4BBF-B657-87EF7EC409CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d262af8e69104fd58dfd1e18b2bbf144fbe83c0a","datavalue":{"value":"linear fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478387$DB424B86-0F54-4B4C-97AA-EE3EBA3DF006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bbd5588603a9b5d596916e581be8b593a0d71e1","datavalue":{"value":"hyperdoctrine model of polymorphic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478387$5C81A61D-413C-4511-BE4E-880084161420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8236ad3e795a353db38935f30ef0883190c316","datavalue":{"value":"constructive set theoretical context for the logic of Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478387$FC353580-C58E-4562-B7D8-03A9E11F37C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca47d0949f5e1cb2f5fbcdf9e3bf2662fd786ad6","datavalue":{"value":"topos model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478387$7463E6C0-6A9C-462B-85CB-49FDA8CD7359","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":"Q3478387$FEEFF351-67CD-4427-9908-7EC747ACFF7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d20e5fdca5edf38f3101b1965278bbf29c9b44","datavalue":{"value":{"entity-type":"item","numeric-id":1826627,"id":"Q1826627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e091b7b894f9ca1a5e2985412e32d67136f3cd","datavalue":{"value":{"amount":"+0.7789750099182129","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":"Q3478387$A978CBA1-8F25-479A-863F-2D77E197689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a812c34d9ad5235ea9865c296d08ab85c67bd393","datavalue":{"value":{"entity-type":"item","numeric-id":4250365,"id":"Q4250365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da36918d0bb260d41797a4f65f0f4f2ea137cc5","datavalue":{"value":{"amount":"+0.769910454750061","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":"Q3478387$884A1902-EE3E-4CCF-9BB4-BA377F79652F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f52f318300d131f4dd9a87f9e4e5b627685d516","datavalue":{"value":{"entity-type":"item","numeric-id":4713398,"id":"Q4713398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f4b29bf9a9ec225b3f274b19c5b36fe8158824","datavalue":{"value":{"amount":"+0.7694301605224609","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":"Q3478387$628B15BF-BD36-4A69-9BF4-597F298521A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ad6bc08dd970785cf658eb046639b76bd87cf2","datavalue":{"value":{"entity-type":"item","numeric-id":4027625,"id":"Q4027625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a104ed0e3054e70844b29debbb49756fda7963fc","datavalue":{"value":{"amount":"+0.768491268157959","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":"Q3478387$91333330-D329-42C4-A7A7-5232BEFA1BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56c114a88c9dd0cddc3a7e4d0818a8f79b64488","datavalue":{"value":{"entity-type":"item","numeric-id":5096267,"id":"Q5096267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9452a0f2d9b4caba938cc1a169eed66c3369166e","datavalue":{"value":{"amount":"+0.7683100700378418","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":"Q3478387$26E2255F-F80B-45B5-AFAE-DAB5F884E233","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3478387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3478387"}}}}}