{"entities":{"Q1403323":{"pageid":1414063,"ns":120,"title":"Item:Q1403323","lastrevid":67359666,"modified":"2026-04-12T17:06:13Z","type":"item","id":"Q1403323","labels":{"en":{"language":"en","value":"Bases for closed sets of implicants and implicates in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973101"}},"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":"Q1403323$CF2E10B7-57ED-4066-87BC-35F5B2EB7CBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"429f28a6abd9b5f31c461cf8d9146481049a6fc8","datavalue":{"value":{"text":"Bases for closed sets of implicants and implicates in temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1403323$0B344B6D-1B81-4009-9EA8-D0FC252245FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bc1e6628fbb92f363e7173bbdd53c1adea0dc91","datavalue":{"value":"1034.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403323$BFF481F5-5946-4543-B710-58585EC5FA6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403323$4DCE206D-D771-422B-8440-C196367BE83B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403323$93130923-022B-42F7-AB7F-E99861B07A2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"433a0b2d5ca848667b737a26efa25021702b8585","datavalue":{"value":{"time":"+2003-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1403323$B32F0EC8-9E7E-4B40-9D81-E9989049F90C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403323$19E97D88-E1D7-43B3-B757-6A86838111A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403323$64284B41-A4E7-4491-B257-DBD9D97A8040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403323$86F79994-E35A-4AE7-BB0A-AABD19D1EB9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cd52dd4547152200c34531d16623332925595e6","datavalue":{"value":"1973101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403323$99793BB5-5DA5-44CA-8075-506D8A772382","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cba800684fd9c5a76401b0caaf928cf4e02d238","datavalue":{"value":"automated deduction techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403323$F92ABEBE-6772-4B77-B27C-FDC6B5E06C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"759060f920bcd3baad7018c3b9800f7dad1116e9","datavalue":{"value":"unitary temporal implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403323$8CD5A05D-B16D-41DC-84CE-B590A24AFD06","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":"Q1403323$288CED3F-2057-4AB1-A1EE-77B9EB8A9DC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b49b91352c2c8d44e36d214d983a15128dd74f52","datavalue":{"value":"https://doi.org/10.1007/s00236-002-0087-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1403323$C87F3139-BBAE-4239-94D0-2FD44660FE42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18c05a89ea521f2ae4b9a964eb7fe3138e37297e","datavalue":{"value":"W2111347871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403323$94F7F22B-354F-498F-BE07-4756E1A369B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf59f3aef6629b886461342ecc4e2cf05b46e25e","datavalue":{"value":"10.1007/S00236-002-0087-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403323$71DCC624-4536-4F48-A9E8-4C95F173D9FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26776c310ad31e32020f1922147b7f09daa5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4494319,"id":"Q4494319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8b1280ba36c99f991bf31840bf0e0c2f90bb97","datavalue":{"value":{"amount":"+0.8868963122367859","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":"Q1403323$BEEB1AD2-340E-4501-A4ED-3F3C17C7BF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c16ae390c00ea3cba41e216949fafb1a69887e1","datavalue":{"value":{"entity-type":"item","numeric-id":4807685,"id":"Q4807685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1114c7fe9a72f38df0f9a4bbac89ed90e0fe677a","datavalue":{"value":{"amount":"+0.8437135815620422","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":"Q1403323$B8252B24-BDBE-4325-B43C-68F1AF9085AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e916b3968a9ae4a87b0a3e9d69e3e875ca691e3b","datavalue":{"value":{"entity-type":"item","numeric-id":4443401,"id":"Q4443401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1114c7fe9a72f38df0f9a4bbac89ed90e0fe677a","datavalue":{"value":{"amount":"+0.8437135815620422","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":"Q1403323$DA8221B9-1CF7-4736-8DDA-2B3EC034A417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec897f03cfd4fa723f652ddb9d52346842cbfed","datavalue":{"value":{"entity-type":"item","numeric-id":3651483,"id":"Q3651483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fab19660c941b790c9fcc51475135ae8b61a4bc","datavalue":{"value":{"amount":"+0.7862695455551147","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":"Q1403323$3D859835-3BB4-4003-9592-2F9AE36E6C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88e62012da57e08bc2a27a6ed10d659a688f14a","datavalue":{"value":{"entity-type":"item","numeric-id":4282528,"id":"Q4282528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a013596e50af10380cdbb41a7ed5e4b92559affc","datavalue":{"value":{"amount":"+0.7811740636825562","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":"Q1403323$52935C9E-6B42-4D21-815D-6A9F99A7A571","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bases for closed sets of implicants and implicates in temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bases_for_closed_sets_of_implicants_and_implicates_in_temporal_logic"}}}}}