{"entities":{"Q6911407":{"pageid":20970460,"ns":120,"title":"Item:Q6911407","lastrevid":84159491,"modified":"2026-05-12T16:48:20Z","type":"item","id":"Q6911407","labels":{"en":{"language":"en","value":"Timed causal fanin analysis for symbolic simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8110394"}},"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":"Q6911407$F665A69C-C77A-404D-BDE0-483AF7482F27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7d5647526fff447a59bd5aa1a4d26ff19ac1121","datavalue":{"value":{"text":"Timed causal fanin analysis for symbolic simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6911407$37EF0E56-4832-4D28-BDCD-5ADEE2C4C264","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f61d6bfccdf04c262e28c3c23737f35aa88451c","datavalue":{"value":"10.1007/S10703-025-00478-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6911407$9E267886-38FF-4A07-83C1-3F8A4B602885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbe6200dc4c3be7da676f116abdad3f03d1caaa","datavalue":{"value":{"entity-type":"item","numeric-id":1349726,"id":"Q1349726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911407$925B2B46-0C61-4D10-B6AD-09EACF17236F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d438f5ef9b35f991fe7d4e38f62a50c4c5612d5a","datavalue":{"value":{"entity-type":"item","numeric-id":6911406,"id":"Q6911406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911407$4B3E3694-8FF0-4C83-8B83-79B76B2D6059","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911407$9E0C1F45-9144-4326-B0F2-9453008A787A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f508d3991dd2f46230f7c1046a08b37030d6343a","datavalue":{"value":{"time":"+2025-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6911407$C69991B3-06EA-4482-BB68-AE1BFF1EE97B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6911407$A6ED73D9-710C-4B3A-B345-9AB1F827DD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6911407$7E8A9889-1CE5-4C10-BBB2-4F0271DDE9C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d94d864805850e2d192b3401171592551ccc6df8","datavalue":{"value":"8110394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6911407$53EB7511-4EC4-4922-9AAF-280D970543C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6911407$D7ABD8C0-B2BE-4921-BB24-6657B0D54AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6174a92dcfaf36a059a5bb5a70ea45f891d6e74d","datavalue":{"value":"symbolic simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6911407$BDE6C6CF-E9EE-4E66-BDC4-BE17864CC408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec9a4d9272b3066690a076188e8c04d09783753","datavalue":{"value":"complexity reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6911407$E0AA6A58-82B7-4396-9632-006C9B1CB5C6","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":"Q6911407$2C1B562D-02EE-4071-9956-909F6D5D2527","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911407$EABDEF45-50D8-4955-9231-FB3BC7D5E4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911407$25225EEB-52AE-4B27-98B2-4AF6F4502D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911407$AC0F9D0D-AA7B-40FF-881D-852FA0BC4707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fa543ceb9f514796392e36740cb69e3d908bd4","datavalue":{"value":{"entity-type":"item","numeric-id":3176383,"id":"Q3176383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6911407$2DC9274F-7B62-466C-81B8-9D0921536BCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed causal fanin analysis for symbolic simulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Timed_causal_fanin_analysis_for_symbolic_simulation"}}}}}