{"entities":{"Q1304767":{"pageid":1315517,"ns":120,"title":"Item:Q1304767","lastrevid":68415405,"modified":"2026-04-12T23:33:32Z","type":"item","id":"Q1304767","labels":{"en":{"language":"en","value":"Reasoning over networks by symbolic methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340317"}},"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":"Q1304767$0061EC0B-1F4B-4C75-86E1-135517EE4CF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce3c430b4a3af1f44a6482e815601058e51f76cf","datavalue":{"value":{"text":"Reasoning over networks by symbolic methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1304767$C3B3C797-BD7B-4405-8CE7-72DF2F9900B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef89fdbb6915fa270ba970e1cb1c3d8d7c9fe0e1","datavalue":{"value":"0931.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304767$57186A2E-C3D9-4CD1-B559-DD5F4323A09F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304767$17452DA1-207E-433F-B712-98086808B1CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304767$A6C2C21D-1F66-47F4-A420-AD33A2E5911C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"284fc9f3df76f3601dedbdc5ed75b5473a78563e","datavalue":{"value":{"time":"+2000-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1304767$C56E3E11-E71D-4418-95B5-086771987B40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304767$C54A9460-CE7F-4A63-9AD4-D25743444757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d65091154bcdcd55b19c17aadaa169aee2e3523","datavalue":{"value":"94C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304767$D8534061-117E-4158-8D4C-C9AFBB2647C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304767$B6F4A000-98CA-42BD-AD42-48D3E253D4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304767$BA093E73-CCBB-4A72-893F-0427F91E19CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8cc270f409b20540177320be165cedc25360730","datavalue":{"value":"1340317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304767$64C3E0A5-5F61-4232-AD0D-CFADA9FF4ED3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc7e6eeb6fe76de2fb6b1898d22f8cbfd3bf51e","datavalue":{"value":"network analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304767$C8FC81FA-6C20-436A-BDDA-67328E645B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156cac6b82d0b50d5d17d5d200e80fbb18614ebf","datavalue":{"value":"error detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304767$DF20B400-5225-4FB4-8951-DA60AD5331C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e92ef9cdb30b67152699770cb7b50199ec949462","datavalue":{"value":"automatic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304767$0C78B3B6-7F33-4332-AE24-AE1231CD3EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23887a832ee039a9aba456284682e0a67af1c849","datavalue":{"value":"real quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304767$7C386DDD-6DA0-4F72-BF20-F0BC79978B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"961b6c1751d499d7af509743006230b3885d3e57","datavalue":{"value":"quantifier elimination procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304767$319D97FD-7173-4555-8305-5FBEA71C2A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dcfd5dab9ae054f1d5a25984640a3948af0986d","datavalue":{"value":"test point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304767$2658D8BD-8130-42F9-BD3B-2205C09816D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c6713772821c8824dc1d26a0c9b54e3f999290","datavalue":{"value":"analysis, sizing, and error diagnosis of physical networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304767$1AE4EC13-6446-43CE-ACF4-78F6EAA14726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4d09f63f37471d17b2e5c3e4d2ed49dc0621e4d","datavalue":{"value":"electrical networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304767$6027C8AA-7E41-41E9-A0D9-0565AA8106AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304767$BE478D71-AC41-4D9A-B5D6-35EBB8CFE8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304767$0CA2ADB6-D5DC-4A0B-BF9A-B91CB77FB6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"954fee4687a8e78ed6c048a8ec08f19b068d4a8d","datavalue":{"value":{"entity-type":"item","numeric-id":22349,"id":"Q22349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304767$CC7CB708-9987-4A3C-98BB-615D5AB9C2EE","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":"Q1304767$BF2DDA35-8DF2-4940-9D0B-C336BA232742","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54c189e300890573b0a55f7b9b6bcf59801ab1b2","datavalue":{"value":"https://doi.org/10.1007/s002000050123","type":"string"},"datatype":"url"},"type":"statement","id":"Q1304767$B97FD14E-1838-4CF6-B6CF-CB65E75A446D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e6c59e19196a34bed9811fb64c93a2e3ffba3d9","datavalue":{"value":"W2012398058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304767$430898DB-1B35-496B-81F0-01829B816985","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ed6e48edeb7316f6e1cd6d77abf687e38c47fb5","datavalue":{"value":"10.1007/S002000050123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304767$B0B55FE7-4F44-42DF-B93A-38E1A70D36B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1a05c808bf466dd00f66d61cf3d32549744757","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec53bccf3643c23307684639876e0595894c80e","datavalue":{"value":{"amount":"+0.7570080757141113","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":"Q1304767$D7B290A5-511F-4F5B-89BB-9EBABE243504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803fc665131b095ddc607303a9f2c0f46908a637","datavalue":{"value":{"entity-type":"item","numeric-id":1368693,"id":"Q1368693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e401cfd9881fd281a2e2101ac9a9179dc4577c1","datavalue":{"value":{"amount":"+0.744415283203125","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":"Q1304767$910F81A4-C5BD-488A-9E87-3D35FB1A723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf8e8ff115a1e178bfbd53bd41c01a5bbf96b9b","datavalue":{"value":{"entity-type":"item","numeric-id":1701667,"id":"Q1701667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991379e6ea121ab4a439973f4f1090320c509412","datavalue":{"value":{"amount":"+0.73885577917099","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":"Q1304767$EE827B03-6745-46CC-A353-BFA002FD43D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning over networks by symbolic methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_over_networks_by_symbolic_methods"}}}}}