{"entities":{"Q7320672":{"pageid":31337713,"ns":120,"title":"Item:Q7320672","lastrevid":105115984,"modified":"2026-09-17T11:22:43Z","type":"item","id":"Q7320672","labels":{"en":{"language":"en","value":"ParSAT: parallel solving of floating-point satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8247036"}},"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":"Q7320672$B99657EC-FE61-47DF-A9ED-2780D93D5301","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e0698c5f2af547e161668f9a7415790537a2345","datavalue":{"value":{"text":"ParSAT: parallel solving of floating-point satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7320672$DFD525CD-F6DC-46FF-93AB-95517229C8D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222d40d41834c662f1504af1799a2d9d39dd65b9","datavalue":{"value":"10.1016/J.JLAMP.2026.101149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320672$FAA21EBE-124F-4D3D-8E7A-B77F053FBFE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd8bf08b797604b8686bc6eb76aaa0105938a31","datavalue":{"value":{"entity-type":"item","numeric-id":7320670,"id":"Q7320670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$F958957A-D22D-4232-B22E-FA84B833EE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53704762395703afc440bcae71e82b34dfe3fef8","datavalue":{"value":{"entity-type":"item","numeric-id":4649299,"id":"Q4649299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$70449DF5-AA84-4740-A7D0-CE7410CBB413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c1e3f5a80cd0ee548006fbb53d26ff598495358","datavalue":{"value":{"entity-type":"item","numeric-id":7320671,"id":"Q7320671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$77BC5DFA-A5BF-406E-BBD5-9D003D9667DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$65274C11-BCB3-4C4D-A808-294B79B291ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba7debfa9fdf0040043d7d7d65003e0398bcfdac","datavalue":{"value":{"time":"+2026-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7320672$5B9F71A0-C45F-4853-96F3-82BF6982765C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320672$8910ADB0-6037-47F3-8A16-CFFF0059665F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f56a570c7b76cf8cd6e1112d41f01ec88c781b13","datavalue":{"value":"8247036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320672$E22578E1-8595-4B6F-91CF-18BCCA3B6CEC","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":"Q7320672$B5B98F89-AB91-466C-8C29-084206215B3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d664d6a12ba4e11e4c3f8f12772484ac4058223","datavalue":{"value":{"entity-type":"item","numeric-id":6535525,"id":"Q6535525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$EAC452F5-EAAA-4A85-9C87-8DBC90AEA818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$4B807A83-A666-45C6-8FF7-54CA2C295661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a49255a4fe4b204b6afec7d567ebd9bc0fc7ae","datavalue":{"value":{"entity-type":"item","numeric-id":5341249,"id":"Q5341249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$5BA4BB72-BE55-4291-A50E-3BAFCB8DC31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54815482d8173f8ce5d988791186a48c6e6d243f","datavalue":{"value":{"entity-type":"item","numeric-id":1169405,"id":"Q1169405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$0397F11B-52F4-4AA8-A8E0-0D38D124DFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6257b5fd6ee496b84572747a27508ccbc8fcda2b","datavalue":{"value":{"entity-type":"item","numeric-id":868546,"id":"Q868546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$938CE47A-46D3-43CF-A72D-AEBB59B87D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702865848cb15e407debca29db0e1f097f9b86e4","datavalue":{"value":{"entity-type":"item","numeric-id":518892,"id":"Q518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$E41DB1A9-29D6-4721-B18D-79CB0B0DF5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64aafb6b9ef45f52ccabf6c405d7c554c1d2b2f6","datavalue":{"value":{"entity-type":"item","numeric-id":2633619,"id":"Q2633619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$6679F4DA-356F-47F7-931F-19A9A3FAC75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d50a1fa337b191c61834ab20f6e945ce7fc627","datavalue":{"value":{"entity-type":"item","numeric-id":2248058,"id":"Q2248058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$28EFED29-91CB-41D8-A196-14A08DFEE779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbb1fc9049136188bed4e2121aca516a730c09c","datavalue":{"value":{"entity-type":"item","numeric-id":5408447,"id":"Q5408447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$DCD5153F-BC33-4A94-A7FA-1CFB4DEDACFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8f67bc300df73505926b0d8f2a4a3dfc98c2a","datavalue":{"value":{"entity-type":"item","numeric-id":746774,"id":"Q746774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$3AA9F2BF-2AF0-4E28-8548-F4A8046BF6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5ed4d2860431c7fb7c36c6af21bcbf2697ca4c","datavalue":{"value":{"entity-type":"item","numeric-id":126971,"id":"Q126971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$3DE825E6-76C4-4501-A4E3-B2543D77D730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9205ec4e4660def7fe9f9ed62e596c2a6faddba2","datavalue":{"value":{"entity-type":"item","numeric-id":2009548,"id":"Q2009548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$79662655-B958-44B7-8E6C-93799135F0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d54e7d47020450b52bad41c6d3aa305d1a792a","datavalue":{"value":{"entity-type":"item","numeric-id":1675731,"id":"Q1675731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$C7F32D13-F652-471E-A61B-996E5F53D944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$F36319D9-7FE0-4F8D-A7E5-47F07F378FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320672$5C14D17E-3755-4840-A79A-AD9D2868C9C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ParSAT: parallel solving of floating-point satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ParSAT:_parallel_solving_of_floating-point_satisfiability"}}}}}