{"entities":{"Q960855":{"pageid":962703,"ns":120,"title":"Item:Q960855","lastrevid":65658864,"modified":"2026-04-12T04:06:41Z","type":"item","id":"Q960855","labels":{"en":{"language":"en","value":"Invariants for parameterised Boolean equation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5687501"}},"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":"Q960855$3C3256F0-3F29-4A9D-8C3F-8AB4760C67A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06d38b49974fa097e1bfa18ffee33b2efbfc138e","datavalue":{"value":{"text":"Invariants for parameterised Boolean equation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q960855$20AAF295-EA9E-476E-BF69-25ECBA18C59A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a87eb3cfbdf68f6bc60eb7706d9d3a7805a3f24","datavalue":{"value":"1191.68415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960855$7F994DAA-902E-4EB1-B1AC-315A0ED2264A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2652922bfca31ce2044bca7ed71686d498c8b00f","datavalue":{"value":{"entity-type":"item","numeric-id":960853,"id":"Q960853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$514C1676-E6AC-444E-95C5-2ECB8C199E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$00726826-F715-4C81-B1F2-703395616B65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$C7A7995B-7CB1-426F-B0E8-DCA97BBE5ED7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7779b9b8e663f6e735902e827572a0b1b55abb","datavalue":{"value":{"time":"+2010-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q960855$1AFC7520-ACA2-43BB-8981-2DDB114B88A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab520f46dc0384530460ad2a533d603d65a9d336","datavalue":{"value":"https://research.tue.nl/nl/publications/invariants-for-parameterised-boolean-equation-systems(008bfa8d-04c5-4f63-8018-62efaed504bd).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q960855$749DE42A-C71D-4D3E-BDF6-29F1B03F0360","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960855$C53C136E-18FC-45F8-995A-13DCBF537814","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e75f08dfef86c4440b569c8f1a62b244cfed11d0","datavalue":{"value":"5687501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960855$B12C524B-340F-4B07-AE01-80F2C57442F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b06ba5825444d19c06d33ebae99958bfded095d","datavalue":{"value":"parameterised Boolean equation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q960855$F6DFAB9F-0250-4BA7-9220-5E124949CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q960855$1299D499-CF63-47A2-88B8-48D06662DE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e980b879515b4a62762dc4272099e67ff6c5e75","datavalue":{"value":"fixed point theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q960855$6E1E6215-2209-451C-AD8B-1AC7602BD9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q960855$E09EB691-A483-4047-B9DC-802B69ADD009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b696f33e9131e163b4602eb024ad9d5cdf0b2d","datavalue":{"value":"process theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q960855$9729E2BF-8BCD-412D-B1BD-977EA4FF2E30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$2CF96A0B-4E46-469C-A4E6-A7E25C2C4B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$4FBB10FD-97D2-4ABE-A955-58F45DB9E8B8","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":"Q960855$59A287EA-128B-4EB7-A3EA-76FCD67ACB8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acecf76352e045d6910418d8f987d9f1316b8d30","datavalue":{"value":"W2044934647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960855$9B614F06-078B-450D-9B01-05C8AA9B816E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"820fe8ac0b5e920640fc8959784100fdaecd5b92","datavalue":{"value":{"entity-type":"item","numeric-id":4737006,"id":"Q4737006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$6F063165-7930-42BB-81AB-38547B177752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5a7ec72f75de016381faf5e7bc0d67c18c7bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5716758,"id":"Q5716758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$B0CE6AA9-970B-4845-882D-4CD665E73362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08b539c49b8cbe3f04ffffa52f172c4ca6d1d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3525633,"id":"Q3525633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$92F8DCAD-2B72-405D-88EC-AE246B43DE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8e69ab0193656de05f0d276585a34718bfb71b","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$77A43FE1-6770-4B1E-ADAF-7F128D7820A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$4EBA0BF3-40A3-4126-8150-8F73D007605B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25daf8d15c7f307c38d437c6af367e120d5dcff0","datavalue":{"value":{"entity-type":"item","numeric-id":4341689,"id":"Q4341689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$FAE8EA93-02D7-491C-BA82-718B0F08D277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed8c406d428f511f7f2fcb0abb354fd8a053516","datavalue":{"value":{"entity-type":"item","numeric-id":4250361,"id":"Q4250361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$442B7394-6F6F-495F-9558-4B49892668A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78a3a50de3ff9fbe1c2ef9d48d581cfc82992e1","datavalue":{"value":{"entity-type":"item","numeric-id":2486254,"id":"Q2486254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$B17570FD-088A-49DF-9DA6-784E377081CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23c0356f00997568a4551b3bbe478c9e8f6e2dc","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$EE7A3086-90F8-41DF-B18C-A47E608C65F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$47FCF786-4B5E-4496-98C3-C2B87B7536D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0252db8f91fc184001751f0eeb3107ef96bd911b","datavalue":{"value":{"entity-type":"item","numeric-id":4349924,"id":"Q4349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$5C402273-60A6-4543-ADB2-E57B5DEFF0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$4DE3FA34-99A9-4925-9D23-FE76C489184D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1212badee2dd4c6b49372eb8d0a6f25121e08f2","datavalue":{"value":{"entity-type":"item","numeric-id":3541018,"id":"Q3541018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$0A8475DB-C77C-4311-8284-3DAD0416A734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bdef2193e5154a38f25f7f1a506467dc959039","datavalue":{"value":{"entity-type":"item","numeric-id":3617762,"id":"Q3617762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$A612F301-5DEA-4378-94C7-9309A390403E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f39a58f2b040f86d60984611cc5531f166d4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5493236,"id":"Q5493236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$3D29E69D-C0F1-46FA-8FB5-BE72319BB3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$5B468CF2-0C23-4A0D-85CB-51BBBAE05E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$6E0D66CD-AA2C-4671-9D61-FBA40F7D2850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$41789114-E7B8-45C9-B054-3E7FB09798D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a113321d9dccde04b0ffba64631060bb687cd2e","datavalue":{"value":{"entity-type":"item","numeric-id":5479150,"id":"Q5479150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960855$0A0D5693-40BB-4E07-8BA0-CF3CD339B3E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"008426e0273c417f4f98327249e3e975a2b328cf","datavalue":{"value":"10.1016/J.TCS.2009.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960855$4EADDA60-445C-41A6-8D42-C0C82AC6F132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64fb2f737162f0dac3667b2240938e291adfba3","datavalue":{"value":{"entity-type":"item","numeric-id":3541018,"id":"Q3541018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09daf8b9d5b927289eb558e42fe2ecab33ee342","datavalue":{"value":{"amount":"+0.9956352114677428","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":"Q960855$65EC0D94-904E-49A5-982B-973A1C3BD261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b169ac0b6ae979ce11d8bfee6e252e9a990168","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa7094fbcca69580878983e3252930a013c6808","datavalue":{"value":{"amount":"+0.8608387112617493","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":"Q960855$22E8A5F8-A8AF-4C62-8438-33F0F30E2C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7045402b4500ba5e62a6d6e2e3246a9f6755a94b","datavalue":{"value":{"entity-type":"item","numeric-id":2842127,"id":"Q2842127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd183777d2c2c61d6b858e9c94fa72b5283929f","datavalue":{"value":{"amount":"+0.8281746506690979","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":"Q960855$B9A2ECA2-6393-4234-B1F8-B71471A42198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621ad02f400cbd004b143fb52a7f7145be65c0a7","datavalue":{"value":{"entity-type":"item","numeric-id":716322,"id":"Q716322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df3203288821833a3db588ce0a9f8c330057238","datavalue":{"value":{"amount":"+0.8214837312698364","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":"Q960855$E4F56CF4-86C2-460C-B0EC-E0A90EAF6782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde571dc989a7055b710a38e8dcd3ecb158ea3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ef734ccecf7ada313727990461574f6431e0c4","datavalue":{"value":{"amount":"+0.8096786737442017","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":"Q960855$15EF304E-AFE3-4C9A-9D02-24F3A2EE70AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariants for parameterised Boolean equation systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariants_for_parameterised_Boolean_equation_systems"}}}}}