{"entities":{"Q6940547":{"pageid":21146889,"ns":120,"title":"Item:Q6940547","lastrevid":84102464,"modified":"2026-05-10T03:10:27Z","type":"item","id":"Q6940547","labels":{"en":{"language":"en","value":"FMplex: a novel method for solving linear real arithmetic problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082487"}},"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":"Q6940547$ABEAE1BA-BE6C-437F-8667-EF7CE10D0336","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cbde24b70804c77d2007dffbb4bf3e5ab623876","datavalue":{"value":{"text":"FMplex: a novel method for solving linear real arithmetic problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940547$CF228794-475D-49C8-87E8-701C4E51DEF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce653ef1e01016e84977096c78b533ea6748a18e","datavalue":{"value":"1571.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940547$70A698E7-52C3-4127-BD2B-EFCB4A8213B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2f2b5b573f61dfccc483c5bca79a2a1c2fdd91a","datavalue":{"value":"10.4204/EPTCS.390.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940547$57347601-EF6F-454C-9575-F1214C77A84D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0a376d2b8266acdf6506a4bccdf457e69c46cc9","datavalue":{"value":{"entity-type":"item","numeric-id":6149149,"id":"Q6149149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$361CB370-E5E7-41D9-9A5B-5B8691D74ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ba331af701de3d50006beb6964ad61d31a700a7","datavalue":{"value":{"entity-type":"item","numeric-id":6869958,"id":"Q6869958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$A53C59F0-0257-4968-8490-AEC7F6EC7078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$3377191F-07C1-42FD-AEB3-910E609DA3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13154dcc6ebac12e021b5eb5e02b6e33ea019acc","datavalue":{"value":{"entity-type":"item","numeric-id":6940546,"id":"Q6940546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$AD749D08-391F-4496-8603-5E4D53E6CDFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940547$9034C54E-1B12-463D-87A9-35E1E03A1F91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940547$9CDE4A80-60EF-41C4-BDA3-608FFA47B0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940547$E1F885E9-942D-4EC2-9561-DDFCDD517C67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f820c3a8bd34cb474b5f8e7d0e2a697218586b84","datavalue":{"value":"8082487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940547$8CCE4D07-F0BA-4323-975F-7F6BDCB2702F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$87C35515-D7EA-4F64-B98C-9016C4EBDF3F","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":"Q6940547$580DFBC0-E60B-4F98-8D8B-EAB289949E8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$4A307254-B557-42BB-B8EA-457652610C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5272a653f0a5de015db1319e07aaca0697a931e7","datavalue":{"value":{"entity-type":"item","numeric-id":3088298,"id":"Q3088298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$26415FAB-C23B-4FA7-A708-746CD136D90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028b173fd504347e5ec217a7eca5bf3210ea8348","datavalue":{"value":{"entity-type":"item","numeric-id":3453240,"id":"Q3453240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$0C67DBBF-8F82-461D-84D6-386651C42B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4695cbc8cd59305e55d74b7e093c5f61db18006d","datavalue":{"value":{"entity-type":"item","numeric-id":3588085,"id":"Q3588085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$3373DBF2-7153-46EC-A83D-C29374C19D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8997ef07509768424633ea061630fea458207d","datavalue":{"value":{"entity-type":"item","numeric-id":4225802,"id":"Q4225802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$86E861ED-4F41-4030-A4EE-D9A15823BC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f82265cc57f79a25669916544f7a923a3175238","datavalue":{"value":{"entity-type":"item","numeric-id":2110224,"id":"Q2110224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$67C56152-082F-4EA9-83A1-1E484C6E2562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f297a99e47d5551bb39513e18e3cff7a525fcfd","datavalue":{"value":{"entity-type":"item","numeric-id":3910301,"id":"Q3910301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$3579B7D8-FD4A-4100-9422-762767446B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1a0c9242070effd0bac35bfe23db977c43490","datavalue":{"value":{"entity-type":"item","numeric-id":2879330,"id":"Q2879330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$26C2B164-F32F-4B10-A1D0-939415798BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27230ad583fb6c91e5e0b2ed04e15a2a06ba4a72","datavalue":{"value":{"entity-type":"item","numeric-id":3182526,"id":"Q3182526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$49880564-A882-414B-B4F5-887786B3AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cfa111152655a1d4c1406d5e37282e85629933f","datavalue":{"value":{"entity-type":"item","numeric-id":5200037,"id":"Q5200037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$B9DBAECC-33F2-4CBA-A600-898505943BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6c8139ce5e5e47ca56bc737c7f33a3f1d9c9b0","datavalue":{"value":{"entity-type":"item","numeric-id":5336851,"id":"Q5336851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$443358C8-3B51-4B6E-8EA1-777B6564B9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f62fd835bb24288b22dcb8bcad5f976939f7d7e","datavalue":{"value":{"entity-type":"item","numeric-id":6666548,"id":"Q6666548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$3E11E06B-A873-413F-B6E2-8C7B7CC5C5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$5A0EB5C7-B7F6-492F-9DA2-FF98E5BF4BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97732b64fbc7a85d84ecc89bd22454f57b398880","datavalue":{"value":{"entity-type":"item","numeric-id":3688092,"id":"Q3688092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$F8B40320-01BA-4F86-A655-5D5CAF3F2A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf127aacc48403a7b3907e5c9de96f1a874f90aa","datavalue":{"value":{"entity-type":"item","numeric-id":3636877,"id":"Q3636877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$5A51D572-4F56-446B-B0A0-B0385B42B0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c2c1fbb42c40132bcde18b08b5d5cb2763f5bb7","datavalue":{"value":{"entity-type":"item","numeric-id":5760872,"id":"Q5760872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$FFA66633-5A34-4523-BDF0-BD37DC24D340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e903e1fe8b85627a788d142f141ae1fd473fe7","datavalue":{"value":{"entity-type":"item","numeric-id":6666552,"id":"Q6666552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$5A76F3CC-DE54-4178-884F-841669FE47D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490c323d20b25705645788916701d4577fbf06c1","datavalue":{"value":{"entity-type":"item","numeric-id":6940547,"id":"Q6940547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$2AEDD53E-8710-481C-AF64-A6E42110F8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d18a95fd2abb64fb3873cebae9515dbda415b84","datavalue":{"value":{"entity-type":"item","numeric-id":3541684,"id":"Q3541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$8CE91B18-95E4-464E-B34F-9A104C5EBFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940547$0E97EFD5-3EF2-42F3-B883-4870ED94B7A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FMplex: a novel method for solving linear real arithmetic problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FMplex:_a_novel_method_for_solving_linear_real_arithmetic_problems"}}}}}